Mizar Home Page
Current Mizar Version: 7.11.05
(Download)
MML Version: 4.133.1080 (4 Jan 2010)
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: January 4, 2010
Please contact our
Webmaster
with questions or comments.