BasicProof

class hets.BasicProof(hs_basic_proof: hs.HetsAPI.Python.PyBasicProof)

Result of proving a theory.

Warning:

This class should not be instantiated manually.

Parameters:

hs_basic_proof – Haskell object of HetsAPI.Internal.BasicProof

details() → ProofDetails | None

Get the details of the proof if available.

Proof details are not available if the proof is guessed, conjectured, or handwritten.

Returns:

Details of the proof

is_conjectured() → bool

Returns whether the proof is conjectured.

is_guessed() → bool

Returns whether the proof is guessed.

is_handwritten() → bool

Returns whether the proof is handwritten.

kind() → ProofKind

Get the kind of the proof.