Mizar/article

論文(article)

environ   ::環境部 :この部分に、証明すべき論文で使用する、定義、定理などのファイル名を記述する。
 ...環境部
 ;

begin     ::本体部 :この部分に、証明する論文を記述する。
 ...本体部
 ;

※ mizarは半角80文字以上の長い環境部、論理式を入力するとエラーが出ます！

長くなる場合は改行をして下さい。(コメント行は80文字の中には含まれません)

※ コメントは::と入力した、後に入力する。

※ [Tab]を使うとCode errorが出ますので、使えません。必ずスペースを使いましょう。