Safe Haskell | None |
---|
PGIP.Output.Proof
Documentation
data ProofFormatterOptions Source #
Instances
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 #