Proper-0.5.2.0: An implementation of propositional logic in Haskell

Proper is both an executable theorem prover for Propositional logic and a library for incorporating propositional logic into other Haskell programs. See the github repo for examples of theorem files for the executable.