Information for RPM metamath-0.160-1.fc28.src.rpm
| ID | 8190 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | metamath | ||||||||||
| Version | 0.160 | ||||||||||
| Release | 1.fc28 | ||||||||||
| Epoch | |||||||||||
| Arch | src | ||||||||||
| 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 | 10.38 MB | ||||||||||
| b2cc8a0312734ea67c80379af5198176 | |||||||||||
| License | GPLv2+ | ||||||||||
| Provides | No Provides | ||||||||||
| Obsoletes | No Obsoletes | ||||||||||
| Conflicts | No Conflicts | ||||||||||
| Requires |
|
||||||||||
| Recommends | No Recommends | ||||||||||
| Suggests | No Suggests | ||||||||||
| Supplements | No Supplements | ||||||||||
| Enhances | No Enhances | ||||||||||
| Files |
|
||||||||||
| Component of | No Buildroots | ||||||||||
