atp (hackage): Haskell interface to automated theorem provers
Keywords: formal-methods|gpl|library|logic|math|theorem-provers|atp|automated-theorem-provers|first-order-logic|haskell|prover|theorem-proving|tptp