Trivial Metamath Zero 内核

此 Metamath Zero 内核的实现旨在用于实验性的 Trivial 项目。它验证用 Metamath Zero 二进制格式编写的证明，并允许使用基本的调试功能来检查验证器状态/上下文。

许可证

Trivial Metamath Zero 内核根据 MIT 许可证或 Apache 许可证版本 2.0 的条款分发（见 LICENSE-MIT 或 LICENSE-APACHE）。