| Copyright | (c) Otto-von-Guericke University of Magdeburg 2020 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | mscodescu@gmail.com |
| Stability | provisional |
| Portability | needs POSIX |
| Safe Haskell | None |
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.