[1] L2空間 ： L2.voc / l_space.miz / l_space.abs （←l_space.mizを入れ替えました 5/7 : 旧ファイルはここ）
※上記から *.voc、*.miz をダウンロードして、Mizar proof checkerでチェックすることができます。
※*.voc：vocabrary file、*.miz：mizar article、*.abs：abstract file です。
Mizarホームページ（Poland） ミラーサイト（信州大学） Megrez service
MIZAR
講義録(改訂第4版) HTML版 / PDF版 / MS-Word版
PC Mizar system のダウンロードはここから Win32(Command) / Linux(IA32)
Mizar Verifier on Web （Mizarプルーフチェッカのサーバサイド実行版）
MML 検索ページ （Mizar Mathematical Library からの単語検索）
Mechanized Mathematics and Its Applications (MMA)
2003年5月7日 11:09 更新