Package: libfloat-coq (1:8.10.0-1)
Links for libfloat-coq
Trisquel Resources:
Download Source Package coq-float:
Maintainer:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Stéphane Glondu
External Resources:
- Homepage [github.com]
Similar packages:
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
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtual package provided by coq
Download libfloat-coq
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 1,195.3 kB | 13002 kB | [list of files] |