Mizar Home Page

Current Mizar Version: 7.11.01 (Download)
MML Version: 4.117.1046 (24 Dec 2008)
Unpacked distribution can be browsed here (HTML-linked articles, plain-text articles, abstracts).

NEW:

Call for Papers Special Issue of Studies in Logic, Grammar and Rhetoric on Computer Reconstruction of the Body of Mathematics

From Insight to Proof
Festschrift in Honour of Andrzej Trybulec

Contents:

Mizar mirror sites at:

Last modified: December 30, 2008
Please contact our Webmaster with questions or comments.