4 个版本 (2 个重大变更)
| 0.3.1 | 2021 年 3 月 4 日 |
|---|---|
| 0.3.0 | 2021 年 3 月 4 日 |
| 0.2.0 | 2021 年 3 月 4 日 |
| 0.1.2 |
|
#2 在 #metamath-zero
在 4 个crate中使用（3 个直接使用）
9KB
209 行
mmb-types
包含 Metamath Zero 二进制证明文件中操作码定义的库。
许可证
此库根据 MIT 许可证（见 LICENSE-MIT）或 Apache 许可证版本 2.0（见 LICENSE-APACHE）进行分发。