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