altgr-ergo
Automatic theorem prover based on SMT technology and dedicated to program verification: Graphical interface
License | CeCILL-C |
---|---|
Homepage | http://alt-ergo.ocamlpro.com/ |
Maintainer | alt-ergo@ocamlpro.com |
Events
Sep 20, 2013
Published version 0.95.2