package coq-gaia-numbers

  1. Overview
  2. No Docs
Implementation of the sets of numbers Z, Q, and R following Bourbaki's Elements of Mathematics in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. J
    José Grimm
  2. A
    Alban Quadrat

Maintainers

  1. P
    palmskog@gmail.com

Sources

v1.14.tar.gz
sha512=aec8b3321bba4ffeedf65f2411f0154edc729df6b64b619cfffc46db275f58d1fdfe0e1923b191a9e5b35120e1ee3cf8fae8b0a8c4600278d6061a46cf7ecc74

Description

Implementation of the sets of numbers Z, Q, and R following N. Bourbaki's book series Elements of Mathematics in Coq using the Mathematical Components library.

Tags

category:Mathematics/Arithmetic and Number Theory/Number theory keyword:integers keyword:rational numbers keyword:real numbers logpath:gaia.numbers date:2022-03-23

Published: 25 Mar 2022

Dependencies (6)

  1. coq-gaia-ordinals = version
  2. coq-gaia-theory-of-sets = version
  3. coq-mathcomp-algebra
  4. coq-mathcomp-ssreflect >= "1.12.0" & < "1.15~"
  5. coq >= "8.10" & < "8.16~"
  6. dune >= "2.5"

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. coq-gaia