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.0.07 (Download)
MML Version: 4.14.855

MKM 2004 - Third International Conference on Mathematical Knowledge Management, Bialowieza, Poland

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.

University of Bialystok | Institute of Mathematics

Last modified: August 1, 2004
Please contact our Webmaster with questions or comments.