Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

SoftFOL.ProveHyperHyper

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

hyperProver :: Prover Sign Sentence SoftFOLMorphism () ProofTree

The Prover implementation.