TheoryException

exception proveit.TheoryException(message)[source]