Verifier is a program that processes the Text Proper part of a Mizar Article and, as a result, creates the report on errors in that article. It has no direct communication with Mizar data base and verifies the logical correctness of the article using the information stored in the environment prepared by Accommodator.
verifier [options] article-file-name [environment-name]
Options: -p Stop after parser pass -a Stop after analyzer pass -q Suppress output of running line numbers and errors -l Allow for source lines longer than 80 characters -s Stop on first error
Last modified: April 9, 2010