package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-2.6.1.tar.gz
md5=2f8d925f59912c66adfae2211672192a
Description
Dependencies (1)
-
coq
>= "8.4pl4" & < "8.9~"
Dev Dependencies
None
Used by (5)
-
coq-gappa
< "1.4.0" -
coq-interval
< "3.4.0" -
coq-jsast
< "2.0.0" -
coq-pi-agm
= "1.2.1" -
coq-qcert
>= "1.0.7" & < "2.1.0"
Conflicts
None
On This Page