7.4.2　Mizar チエツカー

　これが通ったら，次に Mizar チェッカーを実行します．Mizar チェッカーを実行するには，

　　　VERIFIER TEXT\EXAMPLEl.MIZ

とします．すると，画面に表がでてきて， Parser, Analyzer, Checker の順で，article をチェックし，チェックしている行数と，エラーの個数が表示されます．チェック後にチェックした行数だけが表示されていれば，エラーが一つもなく，Mizar のチェッカーに通ったことになります．