[ nabia ]
[ Pakiet źródłowy: coq-float ]
Pakiet: libfloat-coq (1:8.10.0-1)
Odnośniki dla libfloat-coq
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego coq-float:
Opiekun:
Original Maintainers:
- Debian OCaml Maintainers (Archiwum e-mail)
- Stéphane Glondu
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Inne pakiety związane z libfloat-coq
|
|
|
-
- dep: coq-8.11.0+4.08.1
- pakiet wirtualny udostępniany przez coq
Pobieranie libfloat-coq
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 1 195,3 KiB | 13002 KiB | [lista plików] |