Hets - the Heterogeneous Tool Set

Safe HaskellNone

PGIP.Output.Proof

Documentation

data ProofFormatterOptions Source #

Instances

proofFormatterOptions :: ProofFormatterOptions Source #

pfoIncludeProof :: ProofFormatterOptions -> Bool Source #

pfoIncludeDetails :: ProofFormatterOptions -> Bool Source #

type ProofResult = (String, String, String, ProverOrConsChecker, AnyComorphism, Maybe (ProofStatus G_proof_tree), Maybe String) Source #

formatProofs :: Maybe String -> ProofFormatter Source #