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

by Lawrence C. Paulson , Jasmin Christian Blanchette
Citations:19 - 5 self