The Mizar project started about 1973 with an attempt to reconstruct mathematical vernacular.
Since 1989, the most important activity in the Mizar project, apart from continual improvement of the Mizar System, is the development of a data base for mathematics. International cooperation (the main partners: Shinshu University in Nagano and University of Alberta in Edmonton) resulted in creating a data base which includes more than 2 thousands of definitions of mathematical concepts and more than 30 thousands of theorems.
Last modified: June 20, 2003