C.4　WWW Homepage

The URL for the Mizar homepage is http://mizar.org/.
    Here, all abstract files are put up in html format. Moreover, since a link can also be followed about where terminology was defined first, it is very convenient.
    And then, these mirror servers are in Shinshu University of Japan, University of Alberta of Canada, etc.


Mirror servers：
http://mizar.uwb.edu.pl/
(University of Bialystok, Bialystok, Poland)

http://www.cs.ualberta.ca/~piotr/Mizar/mirror/http/
(University of Alberta, Edmonton, Canada)

http://markun.cs.shinshu-u.ac.jp/Mirror/mizar/htdocs/
(Shinshu University, Nagano, Japan)