Download PDFOpen PDF in browserLEO-II Version 1.59 pages•Published: May 26, 2013AbstractLEO-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.
|