package coq-flocq
A formalization of floating-point arithmetic for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-4.1.1.tar.gz
sha512=7076b8d5e33b8225e0124b9f66f4e3e1ed3e30804c5bca28e30d5e176c1b8c5c3d777a28c243fada17ab4ed32f580c6d606b11f045d48f7acb15e03db59870c4
Description
Dependencies (3)
-
conf-clang
build
-
conf-g++
build
-
coq
>= "8.12" & < "8.18"
Dev Dependencies (1)
-
conf-autoconf
build & dev
Used by (16)
-
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.4.4" | >= "1.5.0"
-
coq-interval
>= "3.4.0" & < "4.0.0" | >= "4.3.0"
-
coq-libvalidsdp
>= "0.6.0"
- coq-num-analysis
-
coq-qcert
= "1.0.9"
- coq-validsdp
-
coq-vcfloat
< "2.2"
-
coq-vellvm
< "v2.0.20250110"
-
coq-vst
>= "2.6" & != "2.15"
- coq-vst-32
- coq-vst-64
- coq-vst-lib
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page