7.4.2 Mizar Checker

When the above is done, the Mizar checker is carried out next. To do this, the following form is needed.


    When this is done, a table will appear on the screen and checks an article in the order of Parser, Analyzer, and Checker and indicates the number of checked lines and errors. If only the checked number of rows is displayed after the check and there is no error, it means that it passed the checker of Mizar.