Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

TPTP

Description

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.