mmb-parser

一个用于解析二进制Metamath Zero证明文件的库。

Metamath Zero的证明文件设计为直接由验证器使用，因此无需将文件解析成复杂的数据结构。此库公开了文件格式的内部结构，用于检查和调试目的。

许可证

此库根据MIT许可证或Apache许可证版本2.0（见LICENSE-APACHE）的条款进行分发。