package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-3.1.0.tar.gz
md5=44c56098e1b9e65db38226d3377b4680
Description
Dependencies (1)
-
coq
>= "8.7" & < "8.10~"
Dev Dependencies
None
Used by (8)
-
coq-compcert
>= "3.8" & < "3.11" -
coq-compcert-32
< "3.11" -
coq-flocq-quickchick
< "1.0.2" -
coq-gappa
>= "1.4.0" & < "1.6.0" -
coq-interval
>= "3.4.0" & < "4.11.1" -
coq-libvalidsdp
>= "0.6.0" & < "1.0.0" -
coq-qcert
= "1.0.9" -
coq-validsdp
< "1.0.0"
Conflicts
None
On This Page