Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Mizar Home Page

Mizar Home Page

Current Mizar Version: 7.8.05 (Download)
MML Version: 4.83.967
Unpacked distribution can be browsed here (abstracts, full articles).

MKM 2007 - Sixth International Conference on Mathematical Knowledge Management, RISC, Hagenberg, Austria, 27-30 June 2007

New: MPTP Challenge

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,
University of Alberta, Edmonton, Canada,
Shinshu University, Nagano, Japan.

Last modified: June 12, 2007
Please contact our Webmaster with questions or comments.