Thu, 12 Dec 2024 03:53:19 UTC | login

Information for RPM metamath-0.162-2.fc29.src.rpm

ID227702
Namemetamath
Version0.162
Release2.fc29
Epoch
Archsrc
SummaryConstruct mathematics from basic axioms
DescriptionMetamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. Metamath lets you see mathematics developed in complete detail from first principles, with absolute rigor.
Build Time2018-08-07 15:31:19 GMT
Size10.48 MB
098663f289cac3060dd9ad0de9f845ea
LicenseGPLv2+
Buildrootf29-build-23539-12035
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
automake
gcc
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
tex(latex)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
metamath.spec5.27 KB
metamath.tar.bz210.29 MB
metamath.tex625.15 KB
Component of No Buildroots