package coq-flocq
A formalization of floating-point arithmetic for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-3.4.1.tar.gz
sha512=7d8d9ea86a95f006466329f9abf90ebd0bea16c40a90010b921f6dcd1dfd7cb791087f2f6f8f5e9f13286432ffface7e2a6aeaf80b32b21bf9eb9d60ffa87e24
Description
Dependencies (3)
-
conf-clang
build -
conf-g++
build -
coq
(>= "8.7" & < "8.11~") | (>= "8.12" & < "8.15~")
Dev Dependencies (1)
-
conf-autoconf
build & dev
Used by (12)
-
coq-compcert
>= "3.7~coq-platform" & != "3.7" & < "3.11" -
coq-compcert-32
< "3.11" -
coq-compcert-64
!= "3.7" -
coq-flocq-quickchick
>= "1.0.1" -
coq-gappa
>= "1.4.0" & < "1.6.0" -
coq-interval
>= "3.4.0" -
coq-libvalidsdp
>= "0.6.0" -
coq-qcert
= "1.0.9" - coq-validsdp
-
coq-vst
>= "2.6" & < "2.10" -
coq-vst-32
< "2.10" - coq-vst-64
Conflicts
None
On This Page