g4ip (hackage):   Package maintainers  For package maintainers and hackage trustees  Candidates    Implementation of a theorem prover for propositional logic using G4ip in Haskell.  You can use T, F, /\, \/, ==>, <==, <=>, neg, and () with their usual meanings to form propositions. To form an atom, either use Atom "name" or use one of the predefined atoms: a, b, c, d, e, or f. Here is an example:  which prints True as expected ($ if for associativity, you can use parenthesis if you want).  Email me at coskuacay@gmail.com for any questions.
Keywords: library|logic|mit