ProofState

class hets.ProofState(hs_proof_state: hs.HetsAPI.Internal.ProofState, theory)[source]

acc_diags() → List[hs.HetsAPI.Internal.Diagnosis][source]

included_axioms() → List[Sentence][source]

included_theorems() → List[Sentence][source]

selected_cons_checker_name() → str[source]

selected_goals() → List[Sentence][source]

selected_prover_name() → str[source]