package coq-gaia-hydras
Bridge in Coq between Gaia and Hydra battles
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.tar.gz
sha512=d793c993b50dd1149475ed7131ddb7910a30b6711c97f3ae8079661e2e8f4211ce8b4d85ade9e57c176b05feb20edb59d286db883a5873e3c775aac0fb1e40c5
Description
The Gaia and Hydra battles projects develop different implementations of ordinals and other mathematical concepts in Coq. This development bridges similar concepts in the two projects.
Tags
category:Mathematics/Logic/Foundations keyword:ordinal numbers logpath:gaia_hydras date:2022-05-20Published: 25 May 2022
Dependencies (6)
-
coq-gaia-schutte
>= "1.14" & < "1.15~" - coq-mathcomp-zify
-
coq-mathcomp-ssreflect
>= "1.12.0" & < "1.15~" -
coq-hydra-battles
= version -
coq
>= "8.14" & < "8.16~" -
dune
>= "2.5"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page