[ nabia ]
[ Källkod: coq-float ]
Paket: libfloat-coq (1:8.10.0-1)
Länkar för libfloat-coq
Trisquelresurser:
Hämta källkodspaketet coq-float:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Stéphane Glondu
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libfloat-coq
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtuellt paket som tillhandahålls av coq
Hämta libfloat-coq
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 1.195,3 kbyte | 13002 kbyte | [filförteckning] |