Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg 2020
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermscodescu@gmail.com
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

TPTP.ProveHyper

Description

Check out http:/www.uni-koblenz.de~bpelzerekrhyper for details. For the ease of maintenance we are using e-krhyper in its CASC-mode, aka tptp-input. It works for single input files and fof-style.

Synopsis

Documentation

hyperS :: String Source #