• 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.
• 18 Dec 2007
  Matita release candidate 0.4.98 available for download.
• 18 Dec 2007
  Added a tutorial and some exercises to the documentation page.
• 20 Mar 2007
  A course on Matita at the Types Summer School 2007.
• 24 Jan 2007
  Solution for the Poplmark challenge (part 1a)
• 1 Dic 2006
  Presentation of Matita to the Italian Association for Mathematics.
• 21 Aug 2006
  Matita-prover on TPTP.
• 18 Jul 2006
  the scripts of the library are now on-line
• 14 Jun 2006
  mailing lists for Matita are now available