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-12-05 01:52:00 GMT
Size
1.10 MB
bf76709a14071ac054bdf8f3c6055548
License
CC0-1.0 AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later