Lib.rs

› 开发工具
#trivial #metamath-zero #proof #compiler #binary #framework

trivial-compiler

由 Ivo Wingelaar 编写

3 个版本 (破坏性更新)

0.3.0 2021年3月4日
0.2.0 2021年3月4日
0.1.0 2021年3月4日

#1603 in 开发工具


在 trivial-verifier 中使用

MIT/Apache 协议

8KB
193 行

用于 Metamath Zero 二进制证明的 Trivial 编译器框架

依赖项

~9KB