OSHL

OSHL: A general-purpose instance-based first-order automated theorem proving algorithm. incOSHL is an implementation of an incremental version of the OSHL algorithm.