Appendix D

D.1 Contacting the Mizar Society

D.1.1 Mizar Society

Mizar Society
Institute of Mathematics
Warsaw University, Bialystok Branch
ul. Akademicka 2
15-267 Bialystok, Poland

Fax: +48-85-20272
E-mail: mizar@plbial11.bitnetWWW:http://math.uw.bialystok.pl/Form.Math

D.1.2 Mizar Society Nagano Circle

Post number 380
500 Wakasato Nagano-shi, Nagano-ken
Shinshu University, Information Engineering of the Engineering Faculty
Mizar Society Nagano Circle

Fax: (026) 223-4723
E-mail: kiso@cs.shinshu-u.ac.jp

D.2 Acquisition of Mizar by ftp

Mizar can be acquired by anonymous ftp.

ftp address : 160.252.129.195

Directory :/ftp/pub/mizar/

File name : miz[Version Number]a.exe

miz[Version Number]b.exe

These two files are self-extracting. The files are created by executing them and saving them on floppy disks, they become 'MizSystem' and 'MizABS' disks.

D.3 WWW Homepage

The URL for the Mizar homepage is http://math.uw.bialystok.pl/Form.Math

D.4 Formalized Mathematics

When the Mizar articles are accepted, they are automatically translated into English theses and are placed in Formalized Mathematics. A few of them are published by the Fondation Philippe le Hoday of the Universite Catholique de Louvain in Belgium every year. Up until the end of 1993, 12 have been published, these have been entered into the Mizar library. All articles are entered as English theses.

For more information about Formalized Mathematics, please contact the following.

Fondation Philippe de Hoday
Mizar Users Group
Av. F. Roosevelt 134 (Bte 7)
1050 Brussels
Belgium

Fax: +32 (2) 640.89.68
E-mail: romat@plearn.bitnet