package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-3.1.0.tar.gz
md5=44c56098e1b9e65db38226d3377b4680
Description
Dependencies (1)
-
coq
>= "8.7" & < "8.10~"
Dev Dependencies
None
Used by (8)
-
coq-compcert
>= "3.8" & < "3.11"
-
coq-compcert-32
< "3.11"
-
coq-flocq-quickchick
< "1.0.2"
-
coq-gappa
>= "1.4.0" & < "1.6.0"
-
coq-interval
>= "3.4.0" & < "4.11.1"
-
coq-libvalidsdp
>= "0.6.0" & < "1.0.0"
-
coq-qcert
= "1.0.9"
-
coq-validsdp
< "1.0.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page