Module proof_gadgets

Source
Expand description

This module contains shared proof logic for multiple ProofExpr / ProofPlan implementations.