Mizar Home Page
Current Mizar Version: 7.13.01
(Download)
MML Version: 4.181.1147 (18 Feb 2012)
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,
- Shinshu University, Nagano, Japan,
- Auburn University, Auburn, USA.
Last modified: February 18, 2012
Please contact our
Webmaster
with questions or comments.