package coq-flocq
A floating-point formalization for the Coq system
Install
Dune Dependency
Authors
Maintainers
Sources
flocq-2.4.0.tar.gz
md5=36cee0fb33acf8d292d76a28a22062d5
Description
Dependencies (1)
-
coq
>= "8.4pl4" & < "8.5~"
Dev Dependencies
None
Used by (1)
-
coq-pi-agm
= "1.2.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page