logic-TPTP-0.6.0.0: Import, export etc. for TPTP, a syntax for first-order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Codec.TPTP

Documentation

module Codec.TPTP.Base

module Codec.TPTP.Import

module Codec.TPTP.Pretty

module Codec.TPTP.Export

module Codec.TPTP.Diff