package coq-gaia

  1. Overview
  2. No Docs
Implementation of books from Bourbaki's Elements of Mathematics in Coq

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. J
    José Grimm
  2. A
    Alban Quadrat
  3. C
    Carlos Simpson

Maintainers

  1. P
    palmskog@gmail.com

Sources

v1.13.tar.gz
sha512=c1bb8cec59b63c4f544bd3277b99423661fbde4b8b768c5374f2e1b26a6920dffbbf19200040effc6ef2516e0c14346a525b927877443fe30d02dc75cdc90c6c

Description

Implementation of books from N. Bourbaki's Elements of Mathematics in Coq using the Mathematical Components library, including set theory and number theory.

Tags

category:Mathematics/Logic/Set theory keyword:Bourbaki keyword:set theory logpath:gaia date:2021-10-28

Published: 30 Oct 2021

Dependencies (3)

  1. coq-mathcomp-algebra
  2. coq-mathcomp-ssreflect >= "1.12.0" & < "1.15~"
  3. coq >= "8.10" & < "8.16~"

Dev Dependencies

None

Used by (1)

  1. coq-gaia-hydras = "0.6"

Conflicts

None