8 个版本 (破坏性更新)
| 0.8.0 | 2021年3月4日 |
|---|---|
| 0.7.0 | 2021年3月4日 |
| 0.6.0 | 2021年3月4日 |
| 0.5.0 | 2021年3月4日 |
| 0.1.0 | 2021年3月4日 |
#3 在 #metamath-zero
22KB
594 行
简单证明验证器 - Metamath Zero 内核的接口
依赖项
~1MB
~21K SLoC
| 0.8.0 | 2021年3月4日 |
|---|---|
| 0.7.0 | 2021年3月4日 |
| 0.6.0 | 2021年3月4日 |
| 0.5.0 | 2021年3月4日 |
| 0.1.0 | 2021年3月4日 |
#3 在 #metamath-zero
22KB
594 行
简单证明验证器 - Metamath Zero 内核的接口
~1MB
~21K SLoC