Alt-Ergo Spider Web

Alt-Ergo @ OCamlPro: Two months later

As announced in a previous post, I joined OCamlPro at the beginning of September and I started working on Alt-Ergo. Here is a report presenting the tool and the work we have done during the two last months. Alt-Ergo at a Glance Alt-Ergo is an open source automatic theorem prover based on SMT technology. It Alt-Ergo @ OCamlPro: Two months later

Tags: ,