Hets - the Heterogeneous Tool Set
Safe HaskellNone

PGIP.Output.Proof

Documentation

data ProofFormatterOptions Source #

Instances

Instances details
Eq ProofFormatterOptions Source # 
Instance details

Defined in PGIP.Output.Proof

Show ProofFormatterOptions Source # 
Instance details

Defined in PGIP.Output.Proof

Methods

showsPrec :: Int -> ProofFormatterOptions -> ShowS

show :: ProofFormatterOptions -> String

showList :: [ProofFormatterOptions] -> ShowS

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

formatProofs :: Maybe String -> ProofFormatter Source #