Information for RPM metamath-0.162-1.fc29.riscv64.rpm
ID | 138602 | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | metamath | ||||||||||||||||||||
Version | 0.162 | ||||||||||||||||||||
Release | 1.fc29 | ||||||||||||||||||||
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-06-14 05:06:00 GMT | ||||||||||||||||||||
Size | 257.02 KB | ||||||||||||||||||||
1a8d7c9091c2c424643e0b1d7e620880 | |||||||||||||||||||||
License | GPLv2+ | ||||||||||||||||||||
Buildroot | f29-build-11486-5206 | ||||||||||||||||||||
Provides |
|
||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||
Requires |
|
||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||
Suggests |
|
||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||
Files |
|
||||||||||||||||||||
Component of | No Buildroots |