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
Safe HaskellNone

THF.ProveSatallax

Description

Satallax theorem prover for THF0

Documentation