Package mizar-bin-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.