ProofFailure

exception proveit.ProofFailure(expr, assumptions, message)[source]