C.5　Formalized Mathematics

　Mizar article が accept されると，英語の論文に自動変換されて，Formalized Mathematics に掲載されます．これは年に数回，ワルシャワ大学ビァウイストーク分校より発行されています．1998年末現在，全7巻発行されており，これらには Mizar ライブラリに登録されている，すべての article が英語の論文として掲載されています．
　Formalized Mathematics　につきましては下記にお問い合わせください．

　　Fondation for Information Technology
　　Logic and Mathematics
　　Krochmalna 3/917
　　00-864 Warsaw
　　Poland

　　Fax: +48(85) 745.74.78
　　E-mail: romat@mizar.org

　　Formalized Mathematicsの正式名称:

　　Formalized Mathematics,
　　Edited by Warsaw University-Bialystok Branch,
　　Roman Matuszewaki.
　　ISSN 1426-2630.