Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers

by Lawrence C. Paulson , Jasmin Christian Blanchette
Citations:40 - 7 self