package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-3.0.0.tar.gz
md5=11b80ed7e8395f8223e9f5d55a491bfe
Description
Dependencies (1)
-
coq
>= "8.7" & < "8.9~"
Dev Dependencies
None
Used by (4)
-
coq-gappa
>= "1.4.0" & < "1.6.0" -
coq-interval
>= "3.4.0" & < "4.0.0" -
coq-libvalidsdp
< "0.6.0" -
coq-qcert
= "1.0.9"
Conflicts
None
On This Page