Skip to content
Sections
>> Trisquel >> Paketit >> nabia >> math >> libfloat-coq
[  nabia  ]
[ Source: coq-float  ]

Paketti: libfloat-coq (1:8.10.0-1)

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.

Muut pakettiin libfloat-coq liittyvät paketit

  • depends
  • recommends
  • suggests

Imuroi libfloat-coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 1,195.3 kt13002 kt [tiedostoluettelo]