Mizar/article

出典: フリー教科書『ウィキブックス(Wikibooks)』
ナビゲーションに移動 検索に移動

論文(article)

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

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