Mizar Home Page

Current Mizar Version: 8.1.02 (Download)
MML Version: 5.22.1191 (10 Dec 2013)
Unpacked distribution can be browsed here (HTML-linked articles, plain-text articles, abstracts).
In memoriam
Andrzej Trybulec

We celebrate 40 years of Mizar:
(...)The first presentation of the Mizar ideology understood here as visionary speculation was presented by Andrzej [Trybulec] on November 14, 1973 at a seminar in the Institute of Library Science and Scientific Information at Warsaw University(...)
More on Mizar history can be found in P. Rudnicki and R. Matuszewski's MIZAR: the first 30 years.


Mizar mirror sites at:

Search: mizar.org

Last modified: January 8, 2014
Please contact our Webmaster with questions or comments.