Documentation

processProof :: (a -> ProofStep -> a) -> a -> [String] -> (a, Maybe String)

zipF :: (a -> b -> a) -> (c -> b -> c) -> (a, c) -> b -> (a, c)

supportsProofObject :: IO Bool

digraph :: Set String -> Map String String -> (Set String, Set String, String, Map (String, [String]) String) -> ProofStep -> (Set String, Set String, String, Map (String, [String]) String)

axioms :: [(String, String)] -> ProofStep -> [(String, String)]

conjectures :: [(String, String)] -> ProofStep -> [(String, String)]

alias :: Map String String -> ProofStep -> Map String String

proofInfo :: Set String -> ProofStep -> Set String