@hackage Proper0.4.0.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.