proof_gen 0.1.2

Generates block proofs from zero proof IR.
Documentation