Progress Report on LEO-II -- An Automatic Theorem Prover for Higher-Order Logic

Benzmüller, Christoph; Paulson, Lawrence; Theiss, Frank; Fietzke, Arnaud

by Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke

Reference:

Progress Report on LEO-II -- An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke), In TPHOLs 2007 Emerging Trends Proceedings, Internal Report 364/07 at Department of Computer Science, pp. 33-48, 2007. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/W37.pdf)

Bibtex Entry:

@inproceedings{W37,
  Author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson and
                  Frank Theiss and Arnaud Fietzke},
  Booktitle =	 {TPHOLs 2007 Emerging Trends Proceedings},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2007-LEO-II-TPHOLS.pdf">slides</a>},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning},
  Pages =	 {33-48},
  Publisher =	 {Internal Report 364/07 at Department of Computer
                  Science},
  Address =	 {University of Kaiserslautern, Germany},
  Title =	 {Progress Report on {LEO-II} -- An Automatic Theorem
                  Prover for Higher-Order Logic},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W37.pdf}},
  Year =	 2007,
}