alt-ergo

Description:Automatic theorem prover
License: CeCILL-C
Homepage:https://alt-ergo.ocamlpro.com https://github.com/OCamlPro/alt-ergo/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
9999 diff - - - - - - - - - - - - -
2.4.3 - + - - - - - - - - - - -

USE flags

  • examples - Install examples, usually source code
  • gui - Enable support for a graphical user interface
  • ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

Also available in: Atom

Thank you!