Appendix C

C.1 Contacting the Mizar Society

C.1.1 Mizar Society

Association of Mizar Users
University of Bialystok
Institute of Mathematics
ul. Akademicka 2
15-267 Bialystok, Poland

Fax: +48-85-745-75-45
E-mail: mus@mizar.uwb.edu.pl
WWW: http://mizar.org/

C.1.2　Mizar Society Nagano Circle

4-17-1 Wakasato Nagano-shi, Nagano-ken, 380-8553 JAPAN

Shinshu University, Information Engineering of the Engineering Faculty
Nakamura Research Lab.
Mizar Society Nagano Circle

Fax: +81-26- 269-5495
E-mail: kiso@cs.shinshu-u.ac.jp