Chapter 3

The Structure of the Mizar Article

3.1 The Whole Structure

Next, we will explain the structure of an article. An article consists of two parts, the environment and main sections. The environment section starts with environ and ends with a semicolon. The main section starts with begin and ends with a semicolon.

environ
The environment section
;
begin
The main section
;