| Name : metamath-book
| |
| Version : 20190602
| Vendor : openSUSE
|
| Release : bp156.5.6
| Date : 2024-05-13 18:13:46
|
| Group : Documentation/Other
| Source RPM : metamath-0.198-bp156.5.6.src.rpm
|
| Size : 1.09 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : The Metamath book
|
Description :
The Metamath book, written by Norman Megill with extensive revisions by
David A. Wheeler, 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.
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.6/repo/oss/noarch |
