Information for RPM metamath-0.160-1.fc28.riscv64.rpm
ID | 30941 | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | metamath | ||||||||||||||||||||
Version | 0.160 | ||||||||||||||||||||
Release | 1.fc28 | ||||||||||||||||||||
Epoch | |||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||
Summary | Construct mathematics from basic axioms | ||||||||||||||||||||
Description | Metamath 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 Time | 2018-03-13 19:15:54 GMT | ||||||||||||||||||||
Size | 510.61 KB | ||||||||||||||||||||
94024940a47cda8371f6b4f32e018a33 | |||||||||||||||||||||
License | GPLv2+ | ||||||||||||||||||||
Provides |
|
||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||
Requires |
|
||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||
Suggests |
|
||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||
Files |
|
||||||||||||||||||||
Component of | No Buildroots |