Popularity
3.3
Growing
Activity
2.8
-
3
2
1

Monthly Downloads: 24
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.

Do you think we are missing an alternative of tptp or a related project?

Add another 'Formal Methods' Package

README

tptp

Hackage Hackage CI Build Status

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.