trivial-compiler 0.3.0

The Trivial compiler framework for Metamath Zero binary proofs
Documentation 
{
  "git": {
    "sha1": "5116d918a8c506852975ac94074eebbf353c1acb"
  }
}