Mizar Home Page

Contents:

• Mizar Project,
• Mizar Language,
• Mizar System,
• Mizar People,
• Mizar Mathematical Library,
• Formalized Mathematics,
• Journal of Formalized Mathematics,
• Association of Mizar Users,
• What's New?

Mizar mirror sites at:

• University of Bialystok, Bialystok, Poland,
• SunSite ICM, Warsaw, Poland,
• University of Alberta, Edmonton, Canada,
• Shinshu University, Nagano, Japan,
• Megrez site, Nagano, Japan.