Update report: LEO-II version 1.5
2013-03-15Unverified0· sign in to hype
Christoph Benzmüller, Nik Sultana
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
Recent improvements of the LEO-II theorem prover are presented. These improvements include a revised ATP interface, new translations into first-order logic, rule support for the axiom of choice, detection of defined equality, and more flexible strategy scheduling.