Distributions of the Mizar Proof Checker for all major operating systems are freely available for download at the Mizar Project website.
Distributionen des Mizar Proof Checkers für die gängigen Betriebssysteme sind frei zum Download von der Mizar-Webseite verfügbar.