ProofKind

class hets.ProofKind(value)[source]

An enumeration.

CONJECTURED = 7

DISPROVEN = 4

GUESSED = 6

HANDWRITTEN = 8

OPEN = 1

PROVEN = 2

PROVEN_BY_INCONSISTENCY = 3

TIMED_OUT = 5

UNKNOWN = -1

to_str() → str[source]