How does one get access to the Mizar Mathematical Library (MML) ? This refers

to the Mizar system for the formalisation and automatic checking of mathematical proofs based

on Tarski-Grothendieck Set Theory (mizar.org).

Similar questions and discussions