Latest News

  • July 15, 2014:   here is a small tutorial about "try Alt-Ergo".
  • July 03, 2014:   an online "Javascript" version of Alt-Ergo (private release v. 0.99) is available.
  • March 03, 2014:   a case study of Alt-Ergo in SPARK 2014 is available.
  • February 10, 2014:  discover our development/release process scheme !
  • February 7, 2014:  the latest public release of Alt-Ergo is now available on a Githup repository.
  • December 13, 2013:  a report about profiling Alt-Ergo with ocp-memprof is available.
  • October 22, 2013:  an evaluation of Alt-Ergo's master branch is available.
  • September 20, 2013:  a new public version (0.95.2) of Alt-Ergo is released.
  • September 20, 2013:  support offerings of Alt-Ergo by OcamlPro are available.
  • September 20, 2013:  the new web site of Alt-Ergo is launched.