A structured, searchable, writeable and editable database built by a community of contributors, and open to everyone. It could be described as a data commons.

The Mizar project started around 1973 as an attempt to reconstruct mathematical language in a computer-oriented environment. The most important activity has been the development of a database for mathematics.