LEO-II Version 1.5
Christoph Benzmüller, Nik Sultana · EPiC series in computing · 2018
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.