Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/alt-ergo
Automatic theorem prover
Screenshots
https://alt-ergo.ocamlpro.com
alt-ergo-2.4.2-r1
amd64
examples gui +ocamlopt
View
Download
Browse
License: CeCILL-C
Overlay:
gentoo
alt-ergo-2.4.1-r2
amd64
examples +ocamlopt
View
Download
Browse
License: CeCILL-C
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs