Lib.rs

› Development tools
#trivial #metamath-zero #proof #compiler #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

#1443 in Development tools


Used in trivial-verifier

MIT/Apache

8KB
193 lines

The Trivial compiler framework for Metamath Zero binary proofs

Dependencies

~9KB