Hets - the Heterogeneous Tool Set

Safe HaskellNone

PGIP.Output.Proof

Documentation

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

formatProofs :: Maybe String -> ProofFormatter Source #