Skip to content

@lex-lex lex-lex released this Jul 24, 2017 · 439 commits to master since this release

Version 1.1 of the automated theorem prover Leo-III for classical higher-order logic with choice.
This version corresponds to the version submitted to CASC-26 with
slight modifications in the build process.

For details, we refer to the system description presented at IWIL-2017 or visit our project website.

Assets 3