| Name : metamath-book
| |
| Version : 20190602
| Vendor : openSUSE
|
| Release : bp155.4.8
| Date : 2023-05-22 13:05:45
|
| Group : Documentation/Other
| Source RPM : metamath-0.198-bp155.4.8.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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP5/standard/noarch |
