Mizar Home Page
Current Mizar Version: 7.12.01
(Download)
MML Version: 4.166.1132 (28 Jun 2011)
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: June 28, 2011
Please contact our
Webmaster
with questions or comments.