Update report: LEO-II version 1.5
classification
💻 cs.LO
cs.AIcs.MS
keywords
improvementsleo-iiaxiomchoicedefineddetectionequalityfirst-order
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.