package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-2.5.2.tar.gz
md5=aedc2a7a055678a18d2cbe855640c616
Description
Dependencies (1)
-
coq
>= "8.4pl4" & < "8.7~"
Dev Dependencies
None
Used by (3)
-
coq-gappa
< "1.4.0" -
coq-interval
< "3.4.0" -
coq-pi-agm
= "1.2.1"
Conflicts
None
On This Page