ProofDetails

class hets.ProofDetails(hs_proof_status: hs.HetsAPI.Internal.ProofStatus, kind: ProofKind | None = None)[source]

goal_name() → str[source]

goal_status() → hs.HetsAPI.Internal.GoalStatus[source]

kind() → ProofKind[source]

proof_lines() → List[str][source]

proof_tree() → str[source]

tactic_script() → str[source]

used_axioms() → List[str][source]

used_prover() → str[source]

used_time() → timedelta[source]