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.
VERIFIER TEXT\EXAMPLEl.MIZ
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.