Thu, 12 Dec 2024 15:16:46 UTC | login

Information for RPM metamath-theories-0.196-1.fc33.noarch.rpm

ID761582
Namemetamath-theories
Version0.196
Release1.fc33
Epoch
Archnoarch
SummaryExisting mathematical theories in the metamath format
DescriptionThis package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic.
Build Time2021-01-16 17:41:41 GMT
Size12.86 MB
d1e0f1e852d4e96c2255be945a246945
LicenseGPLv2+ and CC0
Buildrootf33-build-454545-63552
Provides
metamath-theories = 0.196-1.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
metamath = 0.196-1.fc33
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/share/metamath0.00 B
/usr/share/metamath/big-unifier.mm21.21 KB
/usr/share/metamath/demo0.mm1.33 KB
/usr/share/metamath/hol.mm85.25 KB
/usr/share/metamath/iset.mm4.28 MB
/usr/share/metamath/miu.mm4.55 KB
/usr/share/metamath/nf.mm2.86 MB
/usr/share/metamath/peano.mm27.19 KB
/usr/share/metamath/ql.mm559.11 KB
/usr/share/metamath/set.mm39.19 MB
Component of No Buildroots