Mizar Proof Checker
Distributions of the Mizar Proof Checker for all major operating systems are freely available for downloaded at the Mizar Project website. Use of the proof checker is free for all non-commercial purposes. It is written in Free Pascal and the source code is available to all members of the Association of Mizar Users.
Read more about this topic: Mizar System
Famous quotes containing the word proof:
“There are some persons in this world, who, unable to give better proof of being wise, take a strange delight in showing what they think they have sagaciously read in mankind by uncharitable suspicions of them.”
—Herman Melville (1819–1891)
Related Phrases
Related Words