Update report: LEO-II version 1.5
Logic in Computer Science
2013-05-15 v2 Artificial Intelligence
Mathematical Software
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.
Keywords
Cite
@article{arxiv.1303.3761,
title = {Update report: LEO-II version 1.5},
author = {Christoph Benzmüller and Nik Sultana},
journal= {arXiv preprint arXiv:1303.3761},
year = {2013}
}
Comments
7 pages