version | name | developed with | stage | started | announced | released | concluded | references |
Version 2 | "basic_2" | Matita 0.99.2 | "A2" | October 2015 |
|
|||
|
|
|
"A1" | April 2011 | June 2014 | October 2014 | August 2015 | V2a R2c |
Abandoned | Coq 7.3.1 | March 2008 | February 2011 |
|
||||
Version 1 | "basic_1" | Coq 7.3.1 | May 2004 | December 2005 | November 2006 | May 2008 | V1a J1a |