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.11.tar.gz
sha512=b7458fdfcddab546c75a66a741896f0e9bf45b8e79b98b9072a07427a8cbe025eca928d2a7f2bffe3c274feb88dda833a32ea311a762ba1d6ea8ed1120a7664f

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 date:2020-09-09 logpath:gaia

Published: 12 Sep 2020

Dependencies (3)

  1. coq-mathcomp-algebra
  2. coq-mathcomp-ssreflect >= "1.11.0" & < "1.12~"
  3. coq >= "8.10" & < "8.13~"

Dev Dependencies

None

Used by

None

Conflicts

None