Binary package “libfloat-coq” in ubuntu focal
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.10.0-1 in amd64 (Proposed)
- libfloat-coq 1:8.10.0-1 in amd64 (Release)
- libfloat-coq 1:8.10.0-1 in arm64 (Proposed)
- libfloat-coq 1:8.10.0-1 in arm64 (Release)
- libfloat-coq 1:8.10.0-1 in armhf (Proposed)
- libfloat-coq 1:8.10.0-1 in armhf (Release)
- libfloat-coq 1:8.10.0-1 in i386 (Proposed)
- libfloat-coq 1:8.10.0-1 in i386 (Release)
- libfloat-coq 1:8.10.0-1 in ppc64el (Proposed)
- libfloat-coq 1:8.10.0-1 in ppc64el (Release)
- libfloat-coq 1:8.10.0-1 in riscv64 (Release)
- libfloat-coq 1:8.10.0-1 in s390x (Proposed)
- libfloat-coq 1:8.10.0-1 in s390x (Release)