Introductory slides and Exercises for CICM Mizar hands-on tutorial
9th Conference on Intelligent Computer Mathematics (CICM 2016) will take place in Bialystok, Poland.
Conference dates: July 25-29, 2016.
News archive:
New Mizar survey paper published: Mizar: State-of-the-Art and Beyond. In M. Kerber et al. (Eds.), Intelligent Computer Mathematics, CICM 2015, LNAI 9150, pp. 261-279, 2015 [BiBTeX file]
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 Home Page

Current Mizar Version: 8.1.06 (Download)
MML Version: 5.45.1305 (06 Nov 2017)
Unpacked distribution can be browsed here (HTML-linked articles, plain-text articles, abstracts).

Mizar mirror sites at:

Last modified: November 6, 2017
Please contact our Webmaster with questions or comments.