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:12 - 8 self