Mizar

With more than 10.000 definitions and 50.000 Theorems, the Mizar Mathematical Library (MML) is one of the leading libraries of formalized mathematics. We export the library into OMDoc connect it to other libraries and add semantic services.

Responsible: mihnea.iancu@kwarc.info

  • Archives:
  • Views:
  • Theories:
  • Definitions:
  • Constants:
  • Files:
  • Size: K