{- |
Description :  logic TPTP (standard format for first and higher order provers)
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "TPTP" folder contains the skeleton of an instance of "Logic.Logic" for the logic TPTP, see <http://www.tptp.org/>. TPTP is a standard format used by many theorem provers. If features both first and higher order logics.

-}

module TPTP where