Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable (imports Prover)
Safe HaskellNone

THF.SZSProver

Description

Isabelle theorem prover for THF

Documentation

createSZSProver :: String -> String -> String -> ProverFuncs -> ProverType Source #

data ProverFuncs Source #

Constructors

ProverFuncs 

Fields