System Demonstration: The Higher-Order Prover Leo-III.

Alexander Steen, Christoph Benzmller

Browse the full CADE paper archive.