package coq-gaia-ordinals
Implementation and properties of ordinals in Coq using Mathematical Components
Install
Dune Dependency
Authors
Maintainers
Sources
v2.2.tar.gz
sha512=e025071a0e1a3aa5b9bd484913ecda39e4448a34f8d22c8eb3f7e03ce4e65012c2169bc1ce8c4410727fa8a6a4a0debfe6c3772a77b162e0adbbd1acf5a36c2d
Description
Implementation and properties of ordinals and cardinals in Coq using the Mathematical Components library.
Tags
category:Mathematics/Logic/Set theory category:Mathematics/Arithmetic and Number Theory/Number theory keyword:ordered sets keyword:ordinal arithmetic keyword:ordinal numbers keyword:cardinal numbers logpath:gaia.ordinals date:2024-07-24Published: 11 Aug 2024
Dependencies (5)
-
coq-gaia-schutte
= version -
coq-gaia-theory-of-sets
= version -
coq-mathcomp-ssreflect
>= "2.0" -
coq
>= "8.16" -
dune
>= "3.5"
Dev Dependencies
None
Used by (1)
-
coq-gaia-numbers
>= "2.2"
Conflicts (1)
On This Page