gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/alt-ergo

Automatic theorem prover

Screenshots

  • alt-ergo-2.4.3-r2
    amd64
    examples gui +ocamlopt

    View      Download      Browse     License: CeCILL-C   
    Overlay: gentoo

USE Flags

examples
Global: Install examples, usually source code
gui
Global: Build some GUI components (inside the guest window).
+ocamlopt
* This flag is undocumented *