LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).

Christoph Benzmller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke

Browse the full CADE paper archive.