| Name : metamath-book
| |
| Version : 20190602
| Vendor : openSUSE
|
| Release : bp154.2.1
| Date : 2022-02-23 11:23:10
|
| Group : Documentation/Other
| Source RPM : metamath-0.198-bp154.2.1.src.rpm
|
| Size : 1.07 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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP4/step/noarch |
