g4ip-prover-2.0.0.0: Theorem prover for intuitionistic propositional logic using G4ip

Safe HaskellNone
LanguageHaskell2010

G4ipProver.Parser

Documentation

parseProp :: String -> Either String Prop Source #