Mizar : チュートリアル, ライブラリ検索, 各種リソース

チュートリアル

Mizar講義録(改訂第二版, HTML)

Mizar講義録(改訂第四版, HTML) , PDF, MS-word

Mizar 証明の構成法 (Skeletons of Mizar Proofs: Artur Korniłowicz 教授著)

Hands-on tutorials

ライブラリ

Mizarの全ライブラリ (main site) (Josef Urban教授作成) "proof"が表示されている部分をクリックすると証明が閲覧可能!

Mizarの全ライブラリ (another site) (Josef Urban教授作成)

MML Content by Articles

Mizarの記号辞書 : 従来の数学記号とMizarの記号の対照表

MML Reference search (by Dr. Kazuhisa Nakasho)

MML 高機能検索システム (Grzegorz Bancerek教授作成) 検索コマンド例

web版プルーフチェッカ

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

書籍, 論文誌, 大会・研究会プロシーディング

From Insight to Proof Festschrift in Honour of Andrzej Trybulec

Formalized Mathematics 論文誌

Mechanized Mathematics and Its Applications 論文誌

Technical Symposium and General Assembly of Mizar JAPAN 講演論文集

Mizarサイト, ダウンロード

Mizar メインサイト

Mizar 日本ミラーサイト

Mizarシステムのダウンロード（日本ミラー）

Mizar TWiki (Mizarの質問，Tips，各種ツール, ドキュメントのWiki)

Mizarフォーラム : メーリングリスト

Mizarフォーラム : メーリングリストへの参加方法

Mizarフォーラム : メーリングリストの記事検索・閲覧