proof_gen 0.2.0

Generates block proofs from zero proof IR.
Documentation