| Name : metamath-book
| |
| Version : 20190602
| Vendor : openSUSE
|
| Release : bp152.1.52
| Date : 2020-06-10 13:32:30
|
| Group : Productivity/Scientific/Math
| Source RPM : metamath-0.180-bp152.1.52.src.rpm
|
| Size : 1.01 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-SP2/standard/noarch |
