Its current goal, apart from the continual development of the Mizar System, is the collaborative creation of a large library of formally verified proofs, covering most of the core of modern mathematics.
Das momentane Ziel, neben Weiterentwicklung des Mizar-Systems, ist die kollaborative Erstellung einer großen Bibliothek formal verifizierter Beweise, die den Großteil der modernen Mathematik abdecken soll.