|Description:||Build and check first-order formal proofs (1:7.12.01-4.166.1132-1)|
The Mizar project started around 1973 as an attempt to reconstruct mathematical vernacular in a computer-oriented environment. Since then a vast number of articles, representing formal developments of various parts of mathematics, have been written. Accompanying this library of proofs is a verification system for checking the correctness of a proof. Installing this package will install the Mizar binaries (which are used to check proofs for correctness), user documentation, and the MML (Mizar Mathematical Library). See the Mizar homepage, http://www.mizar.org, for more information. The Mizar community maintains a wiki; it is available at http://wiki.mizar.org . Installing this package will install the Mizar binaries, documentation, and the MML.
|Maintainer:||Jesse Alama <jesseDOTalamaATgmailDOTcom>|
|Parent:||mizar (Build and check first-order formal proofs)|
CVS log, Last Changed: Sun, 07 Jul 2013 17:07:25 (UTC)
(*) = Unsupported distribution.