Package mizar-semantic-mml-4.166.1132-1
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.8/x86_64 | |||
10.7/x86_64 | |||
10.6/x86_64 | |||
10.6/i386 | |||
10.5/i386 | 4.166.1132-1 | ||
10.5/powerpc | |||
| Description: | Semantic HTML presentation of the MML (4.166.1132-1) | |
This package provides a hypertext version of a rich semantic
representation of the Mizar Mathematical Library (MML). | ||
| Section: | sci | |
| Maintainer: | Jesse Alama <jesseDOTalamaATgmailDOTcom> | |
| Website: | http://mizar.org | |
| License: | Commercial | |
| Info-File: | dists/10.4/stable/main/finkinfo/sci/mizar-semantic-mml.info CVS log, Last Changed: Sat, 24 Mar 2012 22:45:35 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.