tptp (hackage): Parser and pretty printer for the TPTP language
Keywords: formal-methods|gpl|language|library|parsing|pretty-printer|theorem-provers|automated-theorem-provers|eprover|haskell|haskell-library|logic|parsing-library|pretty-print|theorem-proving|tptp|vampire