tptp alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view tptp alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of tptp or a related project?
TPTP (Thousands of Problems for Theorem Provers) is the standard language of problems, proofs, and models, used by automated theorem provers.
This library provides definitions of data types, a pretty printer and an attoparsec parser for the CNF, FOF, TFF0 and TFF1 subsets of the TPTP language.
See Hackage for the Haddock documentation.