package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-2.3.0.tar.gz
md5=0dc9fb2a46f9d8ffcce17f287fc3bd8b
Description
Dependencies (1)
-
coq
>= "8.4pl4" & < "8.5~"
Dev Dependencies
None
Used by (1)
-
coq-pi-agm
= "1.2.1"
Conflicts
None
On This Page