Information for RPM metamath-theories-0.181-1.fc33.noarch.rpm
| ID | 565071 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | metamath-theories | ||||||||||||||||||||||||
| Version | 0.181 | ||||||||||||||||||||||||
| Release | 1.fc33 | ||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||
| Arch | noarch | ||||||||||||||||||||||||
| Summary | Existing mathematical theories in the metamath format | ||||||||||||||||||||||||
| Description | This package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic. | ||||||||||||||||||||||||
| Build Time | 2020-03-28 04:18:36 GMT | ||||||||||||||||||||||||
| Size | 11.40 MB | ||||||||||||||||||||||||
| 4e99d244f5752d6641344dc18a1591c6 | |||||||||||||||||||||||||
| License | GPLv2+ and CC0 | ||||||||||||||||||||||||
| Buildroot | f33-build-132696-41244 | ||||||||||||||||||||||||
| Provides |
|
||||||||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||||||||
| Requires |
|
||||||||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||||||||
| Files |
|
||||||||||||||||||||||||
| Component of | No Buildroots | ||||||||||||||||||||||||
