| Paketname | libfloat-coq |
| Beschreibung | Coq library on floating-point arithmetic |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 1:8.2-1.2-5 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 37308 Byte |
| Hängt ab von | coq-8.2.pl2+3.11.2 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq-float |
| Paketgröße | 10722366 Byte |
| Prüfsumme MD5 | 4c4192bf8f0985c955217311987cb461 |
| Prüfsumme SHA1 | 7e3df66d7a5860141a6c2cee89712d63df370856 |
| Prüfsumme SHA256 | e69d5478688645aab0a26baad036b6bb391d61e79ddd30bd2f35880a56aadd8f |
| Link zum Herunterladen | libfloat-coq_8.2-1.2-5_all.deb |
| Ausführliche Beschreibung | 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.
|