Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder DFKI Bremen 2013
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilityportable
Safe HaskellNone

SoftFOL.EProver

Description

 

Documentation

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

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

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) Source #

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

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

alias :: Map String String -> ProofStep -> Map String String Source #

proofInfo :: Set String -> ProofStep -> Set String Source #