Folly (hackage): First order logic in Haskell
Keywords: bsd3|library|program|theorem-provers