About

Additonal informations about Alt-Ergo

Contents

• Licenses
  • OCaml source files and Alt-Ergo preludes
  • Releases
  • Plugins
• Changes
  • unreleased
  • v2.6.0
  • v2.5.4
  • v2.5.3
  • v2.5.2
  • v2.5.1
  • v2.5.0
  • v2.4.3 (2023-04-14)
  • version 2.4.2, August, 02, 2022
  • version 2.4.1, July, 27, 2021
  • version 2.4.0, January 22, 2021
  • version 2.3.2, March 23, 2020
  • version 2.3.1, February 18, 2020
  • version 2.3.0, February 11, 2019
  • version 2.2.0, April 21, 2018
  • version 2.1.0, March 14, 2018
  • version 2.0.0, November 14, 2017
  • version 1.30, November 21, 2016
  • version 1.20, February 09, 2016
  • version 1.10, October 19, 2015
  • version 1.00, January 29, 2015
  • version 0.99.1, December 30, 2014
  • version 0.95.2, September 20th, 2013
  • version 0.95.1, March 05th, 2013
  • version 0.95, January 11th, 2013
  • version 0.94, December 2nd, 2011
  • version 0.93.1, May 9th, 2011
  • version 0.93, April 12th, 2011
  • version 0.92.2, October 22nd, 2
  • version 0.91, May 19th, 2010
  • version 0.9, July 17th, 2009
  • version 0.8, July 21st, 2008
  • version 0.7.3, March 5th, 2008
  • version 0.7, October 11th, 2007
  • version 0.6, February 1st, 2007
  • version 0.5, October 12th, 2006
• Try-Alt-Ergo
• Alt-Ergo's website
• Scientific publications