Information for RPM metamath-theories-0.186-1.fc33.noarch.rpm
| ID | 696260 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | metamath-theories | ||||||||||||||||||||||||
| Version | 0.186 | ||||||||||||||||||||||||
| 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-08-15 01:48:57 GMT | ||||||||||||||||||||||||
| Size | 12.23 MB | ||||||||||||||||||||||||
| 238a428d9c45d4477fd5b6782b51d9f3 | |||||||||||||||||||||||||
| License | GPLv2+ and CC0 | ||||||||||||||||||||||||
| Buildroot | f33-build-299217-56302 | ||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||
