[ nabia ]
[ Bron: coq-float ]
Pakket: libfloat-coq (1:8.10.0-1)
Verwijzigingen voor libfloat-coq
Trisquel bronnen:
Het bronpakket coq-float downloaden:
Beheerder:
Original Maintainers:
- Debian OCaml Maintainers (Mailarchief)
- Stéphane Glondu
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
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 aan libfloat-coq gerelateerde pakketten
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtueel pakket geboden door coq