Mizar Project

The Mizar project started around 1973 as an attempt to reconstruct mathematical
vernacular in a computer-oriented environment.

Since 1989, the most important activity in the Mizar project,
apart from continual improvement of the Mizar System, has been
the development of a database for mathematics. International cooperation
(the main partners:
Shinshu University in Nagano and
University of
Alberta in Edmonton)
resulted in creating a database which includes more than 9400
definitions of mathematical concepts and more than 49000 theorems
(see Megrez MML
Browsing for more statistics).