Information for RPM metamath-doc-0.178-1.fc31.noarch.rpm
| ID | 461797 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | metamath-doc | ||||||||||||
| Version | 0.178 | ||||||||||||
| Release | 1.fc31 | ||||||||||||
| Epoch | |||||||||||||
| Arch | noarch | ||||||||||||
| Summary | The Metamath book | ||||||||||||
| Description | This package contains The Metamath book, which provides an in-depth understanding of the Metamath language and program. The first part of the book also includes an easy-to-read informal discussion of abstract mathematics and computers, with references to other proof verifiers and automated theorem provers. | ||||||||||||
| Build Time | 2019-08-15 02:42:03 GMT | ||||||||||||
| Size | 1.06 MB | ||||||||||||
| 0cec49e0be5b58ac7eacf4ca1ed6b8e2 | |||||||||||||
| License | CC0 | ||||||||||||
| Buildroot | f31-build-92802-32373 | ||||||||||||
| 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 | ||||||||||||
