Popularity
4.5
Declining
Activity
0.0
Stable
7
3
2
Monthly Downloads: 4
Programming language: Haskell
License: GNU General Public License v3.0 only
Latest version: v0.1.2.0
tptp alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view tptp alternatives based on common mentions on social networks and blogs.
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
Promo
coderabbit.ai
Do you think we are missing an alternative of tptp or a related project?
README
tptp
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.