Information for RPM metamath-theories-0.194-1.fc33.noarch.rpm
ID | 753539 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | metamath-theories | ||||||||||||||||||||||||
Version | 0.194 | ||||||||||||||||||||||||
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 | 2021-01-06 10:55:35 GMT | ||||||||||||||||||||||||
Size | 12.84 MB | ||||||||||||||||||||||||
8184a8e2a0c247006926f2faf28bfbbc | |||||||||||||||||||||||||
License | GPLv2+ and CC0 | ||||||||||||||||||||||||
Buildroot | f33-build-414565-62847 | ||||||||||||||||||||||||
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 |