package alt-ergo-parsers

  1. Overview
  2. Docs

next | master ------------ | ------------- Travis-CI Build Status | Travis-CI Build Status

Alt-Ergo

Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro:

See more details on http://alt-ergo.ocamlpro.com/

See enclosed LICENSE.md file

Build, Installation and Usage

See enclosed sources/INSTALL.md file

Support

See http://alt-ergo.ocamlpro.com/support.php or contact us at contact@ocamlpro.com for more details

OCaml

Innovation. Community. Security.