trivial-compiler (cargo): The Trivial compiler framework for Metamath Zero binary proofs
Keywords: trivial|metamath-zero