System Demonstration: The Higher-Order Prover Leo-III
Authors: Alexander Steen and Christoph Benzmüller
Paper Information
| Title: | System Demonstration: The Higher-Order Prover Leo-III |
| Authors: | Alexander Steen and Christoph Benzmüller |
| Proceedings: | ARQNL Full papers, demo papers and invited contributions |
| Editors: | Christoph Benzmüller and Jens Otten |
| Keywords: | automated theorem proving, classical higher-order logic, modal logic, deontic logis |
| Abstract: | ABSTRACT. The higher-order theorem prover Leo-III will be demonstrated. |
| Pages: | 1 |
| Talk: | Jul 18 16:30 (Session 129A: ARQNL Presentation only & System demos) |
| Paper: |  |