[ nabia ]
[ ソース: coq-float ]
パッケージ: libfloat-coq (1:8.10.0-1)
libfloat-coq に関するリンク
Trisquel の資源:
coq-float ソースパッケージをダウンロード:
メンテナ:
Original Maintainers:
- Debian OCaml Maintainers (メールアーカイブ)
- Stéphane Glondu
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
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.