gentoo.mahdi.cz

  

sci-mathematics:flocq


Formalization of floating-point arithmetic for the Coq proof assistant

flocq-4.1.1LGPL-3
download~amd64 ~x86gentoo
flocq-4.1.0-r1LGPL-3
download~amd64 ~x86gentoo