Back to Results
First PageMeta Content
Automated theorem proving / Proof assistants / Formal methods / Statements / Model theory / QED manifesto / Theorem / Mathematical proof / Automated reasoning / First-order logic / Isabelle / Mathematical logic


Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson
Add to Reading List

Document Date: 2015-07-01 13:38:31

Open Document

File Size: 745,07 KB

Share Result on Facebook
UPDATE