proof_gen 0.4.0

Generates block proofs from zero proof IR.
Documentation