2000 character limit reached
Update report: LEO-II version 1.5 (1303.3761v2)
Published 15 Mar 2013 in cs.LO, cs.AI, and cs.MS
Abstract: 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.