Leo-III is an automated theorem prover for extensional type theory with Henkin semantics. It also automates various non-classical logics, e.g., almost every normal higher-order modal logic is supported. In this extended abstract, the features of Leo-III are surveyed. This is an abstract of the homonymous paper accepted at the 9th International Joint Conference on Automated Reasoning (IJCAR 2018), see doi: 10.1007/978-3-319-94205-6_8.
CITATION STYLE
Steen, A., & Benzmüller, C. (2019). The Higher-Order Prover Leo-III (Extended Abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11793 LNAI, pp. 333–337). Springer Verlag. https://doi.org/10.1007/978-3-030-30179-8_30
Mendeley helps you to discover research relevant for your work.