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ホーム

Back Home Japanese