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
2024-03-21 12:30:57 GMT
Size
1.10 MB
d3babdbb9077b2f6b28abdd05bc666ac
License
CC0-1.0 AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
