Mizar : tutorials, library and useful resources


Mizar Lecture Notes (Revised Edition, HTML)
Mizar Lecture Notes (4th Edition, HTML) PDF, MS-word
Skeletons of Mizar Proofs (by Dr. Artur Kornilowicz)

the library

All Mizar Library (on main site) (by Dr. Josef Urban) you can read whole lines of its proofs when click "proof" string!
All Mizar Library (on another site) (by Dr. Josef Urban)
Index of MML Identifiers
Dictionary of Mizar notations: Correspondence of usual mathematical notations and Mizar notations
JFM search (very old...)
MML Query server (by Prof. Grzegorz Bancerek) Query examples

on-line verifier

Mizar Verifier on Web

book, journal and proceedings

From Insight to Proof Festschrift in Honour of Andrzej Trybulec
Formalized Mathematics
Mechanized Mathematics and Its Applications
Online Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN

Mizar site and download

Mizar main site
Japan mirror (Web)
Japan mirror (download Mizar system)
Mizar TWiki (Mizar Questions and Hints, Tools, Documentation, etc)

Mizar Forum : Mailing List

How to subscribe to Mizar Forum mailing list
Browse the Mizar Forum mailing list Archives

Back Home Japanese