package coq-fourcolor-reals

  1. Overview
  2. No Docs
Interface for real numbers used in the Four Color Theorem

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. G
    Georges Gonthier

Maintainers

  1. P
    palmskog@gmail.com

Sources

v1.4.0.tar.gz
sha512=f957d3d3260b6f2960e59cabb64a1f5636370cee7fc8870911855e331a50e86e2f5ef526f1d27921a15ed4870521346415dd1c0542e8b61c403b9c465eb8cd9e

Description

An axiomatization of the setoid of classical real numbers, along with proofs of properties such as categoricity.

Tags

category:Mathematics/Real Calculus and Topology keyword:real numbers logpath:fourcolor.reals date:2024-11-15

Published: 15 Nov 2024

Dependencies (1)

  1. coq-mathcomp-algebra

Dev Dependencies (2)

  1. coq-mathcomp-ssreflect (>= "2.1.0" & < "2.4~") | (= "dev")
  2. coq (>= "8.16" & < "8.21~") | (= "dev")

Used by (2)

  1. coq-fourcolor >= "1.4.0"
  2. coq-hol-light >= "2.0.0"

Conflicts (1)

  1. coq-fourcolor != version