Module proof_gadgets

Module proof_gadgets 

Source
Expand description

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