Progress report on LEO-II, an automatic theorem prover for higher-order logic (2007)

by Christoph Benzmüller , Larry Paulson , Frank Theiss , Arnaud Fietzke
Citations:10 - 6 self