package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
V8.10.0.tar.gz
sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724
Description
Published: 13 Oct 2019
Dependencies (4)
-
conf-findutils
build - num
-
ocamlfind
build -
ocaml
>= "4.05.0" & < "4.10"
Dev Dependencies
None
Used by (4)
-
coq-serapi
>= "8.10.0+0.7.0" & < "8.11.0+0.11.0" -
coqide
= "8.10.0" -
why
= "2.32" | = "2.34" -
why3-coq
>= "1.3.0" & < "1.7.0"
Conflicts
None
On This Page