Fink

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.9/x86_64
 
 
10.8/x86_64
 
 
10.7/x86_64
 
 
 
10.6/x86_64
 
 
 
10.6/i386
 
 
 
10.5/i386 *
1:7.12.01-4.166.1132-1
 
 
 
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, 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.
Section:   10.5-EOL/sci
Maintainer:   Jesse Alama <jesseDOTalamaATgmailDOTcom>
Website:   http://www.mizar.org/
License:   Commercial
Parent:   mizar (Build and check first-order formal proofs)
Info-File:   dists/10.4/stable/main/finkinfo/10.5-EOL/sci/mizar-i386.info
CVS log, Last Changed: Sun, 07 Jul 2013 17:07:25 (UTC)

Section list - Flat package list - Search packages

(*) = Unsupported distribution.