Update report: LEO-II version 1.5
arXiv:1303.3761v22 citations
Originality Synthesis-oriented
AI Analysis
This is an incremental update for users of automated theorem proving systems.
The authors tackled improvements to the LEO-II theorem prover, resulting in updates such as a revised ATP interface, new translations into first-order logic, and more flexible strategy scheduling.
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.