This package contains The Metamath book, which 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.
Build Time
2023-03-14 18:08:02 GMT
Size
1.10 MB
b0b332884b91b09de1b482be2d10845d
License
CC0-1.0 AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later