System Description: LEO - A Higher-Order Theorem Prover.

Christoph Benzmller, Michael Kohlhase

Browse the full CADE paper archive.