metamath-book
The Metamath book
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.
CC0-1.0cloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...