- 15 Febbraio 2009
Matita release 0.575 disponibile per il download.
- 17 Novembre 2008
Matita release 0.5.5 disponibile per il download.
- 19 Ottobre 2008
Matita release 0.5.4 disponibile per il download.
- 23 Luglio 2008
Matita release 0.5.3 disponibile per il download.
- 2 Luglio 2008
Matita release 0.5.2 disponibile per il download.
- 20 Mar 2007
Introduzione a Matita alla
Types Summer School 2007.
- 24 Jan 2007
Soluzione per il Poplmark challenge (part 1a)
- 1 Dic 2006
Presentazione di Matita all'Unione Matematica Italiana.
- 21 Ago 2006
Matita-prover si confronta con
TPTP.
- 18 Lug 2006
Gli scripts della libreria sono
on-line
- 14 Giu 2006
mailing lists per Matita