Skip Navigation

Scout Archives

Home Projects Publications Archives About Sign Up or Log In

Browse Resources

Mathematics -- Language.

Resources

View Resource The Mizar Home Page

Mizar is a system used to represent mathematical vernacular so that it can be read and manipulated by humans and verified by computers. The Mizar Project began in 1973 and continues at the University of Bialystok in Poland. The computer formalization of mathematics is a daunting task; currently, the project has created a database with over 2,000 definitions of mathematical concepts and more than...

http://mizar.org/