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