MIZAR

MIZAR 講義録(改訂第二版, html)

MIZAR 講義録(改訂第三版, pdf)

MIZAR 講義録(改訂第四版 html) , PDF, MS-word

MIZAR のホームページのミラーサイト (英語版)

PC Mizar system は ここ にあります

Mizar Verifier on Web Web 上で Mizar System が利用できます

MML 検索ページ Web(markun 上のミラー) に登録された MML から単語検索できます

Mechanized Mathematics and Its Applications (English)

MIZAR関係のサーバー

MIZARホーム