Updated to 7.13.01.
Search Criteria
Package Details: mizar 7.13.01_4.181.1147-1
Package Actions
| Package Base: | mizar |
|---|---|
| Description: | An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software (binary only) |
| Upstream URL: | http://mizar.org/ |
| Category: | science |
| Licenses: | |
| Submitter: | Liquen |
| Maintainer: | Liquen |
| Last Packager: | None |
| Votes: | 1 |
| First Submitted: | 2011-11-09 09:27 |
| Last Updated: | 2013-05-21 18:06 |