version | name | developed with | stage | started | announced | released | concluded |
Version 2 | "basic_2" | Matita 0.99.2 | "A" | April 2011 | June 2014 | October 2014 | |
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 |