Skip to content

aztek/tptp

Repository files navigation

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.