Chapter 3

Mizar article の構成

3.1全体構成

次に article の構成について説明します．article は，環境部，本体部の２つの部分からなります．環境部は environで始まり，セミコロンで終わります．本体部は begin で始まり，最後はセミコロンです．

environ
環境部
;
begin
本体部
;