Progress Report on LEO-II - An Automatic Theorem Prover for Higher-Order Logic (2007)

by C Benzmüller, L Paulson, F Theiss, A Fietzke
Venue:In Proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics - Emerging Trends