More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification

by Jasmin Christian Blanchette , Andrei Popescu , Daniel W , Christoph Weidenbach
Citations:2 - 2 self