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-08-05 18:06:36 GMT
Size
1.10 MB
01b671f49e2fe9037caa3c4fd983f21e
License
CC0-1.0 AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
