LEO-II Version 1.5

9 pages•Published: May 26, 2013

Abstract

LEO-II cooperates with other theorem-provers to prove theorems in classical higher-order logic. It returns hybrid proofs, containing inferences made by LEO-II as well as the backend provers with which it cooperates. This article describes recent improvements made to LEO-II.

Keyphrases: automatic theorem provers, higher order logic, prover cooperation, resolution, simple type theory

In: Jasmin Christian Blanchette and Josef Urban (editors). PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving, vol 14, pages 2-10.

Links:	https://easychair.org/publications/paper/QJs
	https://doi.org/10.29007/lbxw

BibTeX entry

@inproceedings{PxTP2013:LEO_II_Version_1.5,
  author    = {Christoph Benzmüller and Nik Sultana},
  title     = {LEO-II Version 1.5},
  booktitle = {PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving},
  editor    = {Jasmin Christian Blanchette and Josef Urban},
  series    = {EPiC Series in Computing},
  volume    = {14},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/QJs},
  doi       = {10.29007/lbxw},
  pages     = {2-10},
  year      = {2013}}

Download PDF Open PDF in browser