EvaluationError

exception proveit.logic.EvaluationError(expr, assumptions=None)[source]