The Mizar Project was started around 1973 by Andrzej Trybulec as an attempt to reconstruct mathematical vernacular so it can be checked by a computer.
Das Mizar-Projekt wurde 1973 von Andrzej Trybulec begonnen im Versuch, die mathematische Fachsprache so zu rekonstruieren, dass sie von einem Computer überprüft werden kann.