Binary package “libfloat-coq” in ubuntu trusty
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.
Source package
Published versions
- libfloat-coq 1:8.4-3 in amd64 (Proposed)
- libfloat-coq 1:8.4-3 in amd64 (Release)
- libfloat-coq 1:8.4-3 in arm64 (Proposed)
- libfloat-coq 1:8.4-3 in arm64 (Release)
- libfloat-coq 1:8.4-3 in armhf (Proposed)
- libfloat-coq 1:8.4-3 in armhf (Release)
- libfloat-coq 1:8.4-3 in i386 (Proposed)
- libfloat-coq 1:8.4-3 in i386 (Release)
- libfloat-coq 1:8.4-3 in powerpc (Proposed)
- libfloat-coq 1:8.4-3 in powerpc (Release)
- libfloat-coq 1:8.4-3 in ppc64el (Proposed)
- libfloat-coq 1:8.4-3 in ppc64el (Release)