Lib.rs

› Development tools
#trivial #metamath-zero #compiler #proof #binary #framework

trivial-compiler

by Ivo Wingelaar

3 releases (breaking)

0.3.0 Mar 4, 2021
0.2.0 Mar 4, 2021
0.1.0 Mar 4, 2021

#1871 in Development tools


Used in trivial-verifier

MIT/Apache

8KB
193 lines

The Trivial compiler framework for Metamath Zero binary proofs

Dependencies

~9KB