atp-haskell (hackage): Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Keywords: bsd3|library|logic|theorem-provers