論文(article)
environ ::環境部 :この部分に、証明すべき論文で使用する、定義、定理などのファイル名を記述する。
...環境部
;
begin ::本体部 :この部分に、証明する論文を記述する。
...本体部
;
- ※ mizarは半角80文字以上の長い環境部、論理式を入力するとエラーが出ます！
- 長くなる場合は改行をして下さい。(コメント行は80文字の中には含まれません)
- ※ コメントは::と入力した、後に入力する。
- ※ [Tab]を使うとCode errorが出ますので、使えません。必ずスペースを使いましょう。
