kdrag.contract.prove

kdrag.contract.prove(thm: BoolRef, by=[], **kwargs) → Proof
Parameters:

thm (BoolRef)

Return type:

Proof