UnusableProof

exception proveit.UnusableProof(proving_theorem, unusable_proof, extra_msg='')[source]