SimplificationError

exception proveit.logic.SimplificationError(message)[source]