package coq-gaia-numbers

You can search for identifiers within the package.

in-package search v0.2.0

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 (6)

Authors

Maintainers

P

palmskog@gmail.com

Sources

v2.4.tar.gz

sha512=6dd168dc3269cfaba4618e4d8cd22e108103ca814658c337a917df315180653e28aa89e2a7025fa0b478c083ecb2f0fe5148d3c4b9527f1c9c5227737f66f827

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.

Published: 24 Jul 2026

Dependencies (6)

coq-gaia-ordinals = version
coq-gaia-theory-of-sets = version
coq-mathcomp-algebra
coq-mathcomp-ssreflect >= "2.0"
coq >= "8.16"
dune >= "3.5"

Dev Dependencies

None

Used by