Mizar Home Page

In memoriam Piotr Rudnicki 1951-2012

Contents:

• Mizar Project,
• Mizar Language,
• Mizar System,
• Mizar People,
• Mizar Mathematical Library,
• Formalized Mathematics,
• Association of Mizar Users.

Mizar mirror sites at:

• University of Bialystok, Bialystok, Poland (main site),
• SunSite ICM, Warsaw, Poland,
• Shinshu University, Nagano, Japan,
• Auburn University, Auburn, USA.

Search: mizar.org

Last modified: November 21, 2012
Please contact our Webmaster with questions or comments.