Mizar Home Page

Current Mizar Version: 7.9.03 (Download)
MML Version: 4.108.1028
Unpacked distribution can be browsed here (abstracts, full articles).

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: August 6, 2008
Please contact our Webmaster with questions or comments.