gentoo.mahdi.cz
sci-mathematics
:flocq
Formalization of floating-point arithmetic for the Coq proof assistant
flocq-4.1.1
LGPL-3
download
~amd64 ~x86
gentoo
flocq-4.1.0-r1
LGPL-3
download
~amd64 ~x86
gentoo