Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/flocq
Formalization of floating-point arithmetic for the Coq proof assistant
Screenshots
http://flocq.gforge.inria.fr/
https://gitlab.inria.fr/flocq/flocq/
flocq-4.1.1
~amd64 ~x86
View
Download
Browse
License: LGPL-3
Overlay:
gentoo
flocq-4.1.0-r1
~amd64 ~x86
View
Download
Browse
License: LGPL-3
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
flocq-4.1.1
dev-lang/ocaml
:=
>=
sci-mathematics/coq
-8.12:=
flocq-4.1.0-r1
dev-lang/ocaml
:=
>=
sci-mathematics/coq
-8.12:=
View
Download
Browse