-
Simon Cruanes authored
It is very likely to yield errors or to confuse provers. The tptp driver now accepts a bit more outputs from provers
87fa1632
It is very likely to yield errors or to confuse provers. The tptp driver now accepts a bit more outputs from provers