package coq-equations
Compatibility package, see rocq-equations
Install
Dune Dependency
Authors
Maintainers
Description
Published: 20 Mar 2025
Dependencies (1)
-
rocq-equations
= "1.3.1+9.0"
Dev Dependencies
None
Used by (11)
- coq-category-theory
-
coq-hydra-battles
>= "0.5" - coq-katamaran
-
coq-metacoq-pcuic
< "1.0+8.15" | = "1.1+8.14" | = "1.1.1+8.14" -
coq-metacoq-template
< "1.2+8.16" -
coq-metacoq-utils
!= "1.2.1+8.18" & < "1.3.1+8.18" | >= "1.3.4+9.0" -
coq-monae
>= "0.4.1" - coq-pil
- coq-ssprove
-
coq-vlsm
>= "1.2" - rocq-metarocq-utils
Conflicts
None
On This Page