Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Mathematical logic / Model theory / Mathematical proof / QED manifesto / Theorem / Proof assistant / Automated reasoning / Mathematics / Logic / Theoretical computer science


Hammering towards QED Jasmin C. Blanchette Technische Universit¨at M¨ unchen Cezary Kaliszyk University of Innsbruck, Austria
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 427,47 KB

Share Result on Facebook
UPDATE