Leo-III 1.1

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.

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