Mizar Home Page
Current Mizar Version: 7.11.03
(Download)
MML Version: 4.128.1063 (18 Sep 2009)
Unpacked distribution can be browsed
here
(HTML-linked articles,
plain-text articles,
abstracts).
Contents:
Mizar mirror sites at:
- University of Bialystok, Bialystok, Poland (main site),
- SunSite ICM, Warsaw, Poland,
- University
of Alberta, Edmonton, Canada,
- Shinshu University, Nagano, Japan.
Last modified: October 6, 2009
Please contact our
Webmaster
with questions or comments.