Thu, 12 Dec 2024 16:10:26 UTC | login

Information for RPM metamath-theories-0.198-3.fc37.noarch.rpm

ID873402
Namemetamath-theories
Version0.198
Release3.fc37
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 Time2022-11-07 14:01:52 GMT
Size13.50 MB
36afd7d29090851344983bcc56992fe8
LicenseGPLv2+ and CC0
Buildrootf37-build-667929-74632
Provides
metamath-theories = 0.198-3.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
metamath = 0.198-3.fc37
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.44 MB
/usr/share/metamath/miu.mm4.55 KB
/usr/share/metamath/nf.mm2.84 MB
/usr/share/metamath/peano.mm27.31 KB
/usr/share/metamath/ql.mm559.11 KB
/usr/share/metamath/set.mm41.20 MB
Component of No Buildroots