| Paketname | libfloat-coq |
| Beschreibung | Coq library on floating-point arithmetic |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1:8.2-1.2-4 |
| Sektion | universe/libdevel |
| Priorität | optional |
| Installierte Größe | 37732 Byte |
| Hängt ab von | coq-8.2.pl1+3.11.2 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq-float |
| Paketgröße | 10727764 Byte |
| Prüfsumme MD5 | 2c9362928af447f03226e3d4cc196020 |
| Prüfsumme SHA1 | c176d6334878b5b974a77fec43c51c65a410f395 |
| Prüfsumme SHA256 | 617079510e2c6ac09d6ff2e0ffb190bdc129bffc4a5d693ad4479b9dab5d90f0 |
| Link zum Herunterladen | libfloat-coq_8.2-1.2-4_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.
|