package coq-gaia-numbers

Overview
No Docs

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

Authors

Maintainers

P

palmskog@gmail.com

Sources

v2.2.tar.gz

sha512=e025071a0e1a3aa5b9bd484913ecda39e4448a34f8d22c8eb3f7e03ce4e65012c2169bc1ce8c4410727fa8a6a4a0debfe6c3772a77b162e0adbbd1acf5a36c2d

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: 11 Aug 2024

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