MiG

LEO-II Version 1.5

C. Benzmüller, Nik Sultana— 2013

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.

TitelLEO-II Version 1.5
VerfasserC. Benzmüller, Nik Sultana
Themahigher-order logic, simple type theory, automatic theorem provers, prover cooperation, resolution
Datum2013
KennungISSN 2040-557X
Quelle/n
Beziehung/en
Erschienen inPxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving.
Spracheeng
ArtText
Größe oder LängeVol. 14, pp. 2-10
BibTeX CodeEasyChair:58