Sentence

class hets.Sentence(hs_sentence_with_name: Tuple[str, hs.HetsAPI.Python.PyTheorySentence], hs_pretty_fn: Callable[[hs.HetsAPI.Python.Sentence], str], parent: HsHierarchyElement | None = None)[source]

as_json() → dict[source]

best_proof() → BasicProof | None[source]

is_axiom() → bool[source]

is_defined() → bool[source]

is_proven() → bool[source]

name() → str[source]

priority() → str | None[source]

theorem_status() → List[Tuple[Comorphism, BasicProof]][source]

was_theorem() → bool[source]