Package: libfloat-coq (1:8.2-1.2-5)
Links for libfloat-coq
Download Source Package coq-float:
- Homepage [lipforge.ens-lyon.fr]
Coq library on floating-point arithmetic
This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms.
Other Packages Related to libfloat-coq