• 18 May 2016
  Matita release 0.99.3 available for download.
• 23 December 2014
  Legacy matita release 0.5.9 available for download.
• 13 March 2012
  The Matita web app is now publicly accessible online (go).
• 13 March 2012
  Matita release 0.99.1 available for download.
• 1 February 2010
  Project CerCo (Certified Complexity) started.
• 8 January 2010
  Matita release 0.5.8 available for download.
• 7 August 2009
  Matita-prover scores best new entry at the CADE ATP System Competition (UEQ).
• 15 February 2009
  Matita release 0.5.7 available for download.
• 1 December 2008
  Matita release 0.5.6 available for download.
• 17 November 2008
  Matita release 0.5.5 available for download.
• 19 October 2008
  Matita release 0.5.4 available for download.
• 23 July 2008
  Matita release 0.5.3 available for download.
• 2 July 2008
  Matita release 0.5.2 available for download.
• 10 May 2008
  Matita release 0.5.0 available for download.