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
2026-10-15 04:24:28 GMT
Size
1.08 MB
1db74331cbeedde7927361c783ec6972
License
CC0-1.0 AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
