Package mizar-bin-1:7.12.01-4.166.1132-1

SystemCVS/rsync Source DistributionsDebian Binary Distributions
stable RSS feed stableunstable RSS feed unstablestableunstable
10.5/i386 *
10.5/powerpc *
10.4/i386 *
10.4/powerpc *
10.3/powerpc *
10.2-gcc3.3/powerpc *
10.2/powerpc *
10.1/powerpc *
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,, for more information. The Mizar community maintains a wiki; it is available at . Installing this package will install the Mizar binaries, documentation, and the MML.
Section:   10.5-EOL/sci
Maintainer:   Jesse Alama <jesseDOTalamaATgmailDOTcom>
License:   Commercial
Parent:   mizar (Build and check first-order formal proofs)
Info-File:   dists/10.4/stable/main/finkinfo/10.5-EOL/sci/
CVS log, Last Changed: Sun, 07 Jul 2013 17:07:25 (UTC)

Section list - Flat package list - Search packages

(*) = Unsupported distribution.