Mizar järjestelmä on väline, jonka muodollinen kielen kirjoittamiseen määritelmiä ja matemaattinen todistus, joka on todiste avustaja mahdollistaa automaattisen varmistettava näiden todisteiden ja kirjaston virallistettiin matematiikka.
(en) Virallinen sivusto