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.12.tar.gz
sha512=d781156439e7dc89ee9dbba3bd932b229fbe424f63dbc78829238dffa1e92225d66a20971ab2aa0f64db8c8c5a880c135bf4ad071a85db1d884d9ec05c7d19c9

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:2021-08-12 logpath:gaia

Published: 12 Aug 2021

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. coq-gaia-hydras < "0.9"

Conflicts

None