Download PDFOpen PDF in browser

LEO-II Version 1.5

9 pagesPublished: 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:
BibTeX entry
@inproceedings{PxTP2013:LEO_II_Version_1.5,
  author    = {Christoph Benzm\textbackslash{}"uller 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},
  pages     = {2--10},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QJs},
  doi       = {10.29007/lbxw}}
Download PDFOpen PDF in browser