proof_gen 0.1.0

Generates block proofs from zero proof IR.
Documentation