Proper (hackage): Propositional logic theorem prover in Haskell
Keywords: bsd3|library|program|unclassified