Mizar Home Page

Current Mizar Version: 7.11.02 (Download)
MML Version: 4.125.1059 (19 Jun 2009)
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: June 19, 2009
Please contact our Webmaster with questions or comments.