AI Chat AI Image Generator AI Video Text to Speech

Update report: LEO-II version 1.5

03/15/2013

∙

by Christoph Benzmüller, et al.

∙

∙

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.

Christoph Benzmüller
37 publications
Nik Sultana
4 publications

page 1

page 2

page 3

page 4

research

∙ 02/08/2018

The Higher-Order Prover Leo-III (Extended Version)

The automated theorem prover Leo-III for classical higher-order logic wi...

0 Alexander Steen, et al. ∙

research

∙ 04/11/2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first...

0 Daniyar Itegulov, et al. ∙

research

∙ 10/11/2021

Logical Foundations of Quantitative Equality (long version)

Quantitative reasoning provides a flexible approach capable to deal with...

0 Francesco Dagnino, et al. ∙

research

∙ 08/09/2013

MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers

MaLeS is an automatic tuning framework for automated theorem provers. It...

0 Daniel Kühlwein, et al. ∙

research

∙ 05/17/2022

SCL(EQ): SCL for First-Order Logic with Equality

We propose a new calculus SCL(EQ) for first-order logic with equality th...

0 Hendrik Leidinger, et al. ∙

research

∙ 04/15/2019

The ILLTP Library for Intuitionistic Linear Logic

Benchmarking automated theorem proving (ATP) systems using standardized ...

0 Carlos Olarte, et al. ∙