Popularity
4.6
Growing
Activity
0.0
Stable
7
3
2
Monthly Downloads: 17
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.
InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
Promo
www.influxdata.com
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.