C.4　WWW Homepage

　Mizar のホームページURLは，http://mizar.org/ です
　ここには，abstract ファイルが html 形式で全て掲示されています．またそこで使われている用語が最初にどこで定義されたか，リンクを辿ることもできますので，大変便利です．
　またこれらのミラーサーバが，日本の信州大学やカナダのアルバ一夕大学などにあります．

ミラーサーバ：
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)