sci-mathematics@gentoo.org
Gentoo Mathematics Project
PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
is a repository of a Coq library about floating-point arithmetic. It
contains both definitions and proofs of basic facts, old and new
properties and algorithms.