|System||Binary Distributions||CVS/rsync Source Distributions|
|Description:||Build and check first-order formal proofs (1:7.13.01-4.181.1147-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>|
CVS log, Last Changed: Mon, 24 Sep 2012 04:03:34 (UTC)
(*) = Unsupported distribution.