Original paper
Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers
Paper Details
Title
Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers
Published Date
Jan 23, 2018
Journal
Volume
9
Pages
1 - 10
Notes
History