[ nabia ]
[ Quellcode: coq-float ]
Paket: libfloat-coq (1:8.10.0-1)
Links für libfloat-coq
Trisquel-Ressourcen:
Quellcode-Paket coq-float herunterladen:
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Stéphane Glondu
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libfloat-coq
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtuelles Paket, bereitgestellt durch coq
libfloat-coq herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 1.195,3 kB | 13002 kB | [Liste der Dateien] |