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