![Mathematics / Logic in computer science / Formal methods / Mathematical logic / E theorem prover / Isabelle / Vampire / Automated reasoning / Proof assistant / Theoretical computer science / Applied mathematics / Automated theorem proving Mathematics / Logic in computer science / Formal methods / Mathematical logic / E theorem prover / Isabelle / Vampire / Automated reasoning / Proof assistant / Theoretical computer science / Applied mathematics / Automated theorem proving](https://www.pdfsearch.io/img/cf9ae4d66aeea20934ca913409dff98f.jpg) Date: 2014-06-02 12:21:13Mathematics Logic in computer science Formal methods Mathematical logic E theorem prover Isabelle Vampire Automated reasoning Proof assistant Theoretical computer science Applied mathematics Automated theorem proving | | My Life with an Automatic Theorem Prover Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. IAdd to Reading ListSource URL: www21.in.tum.deDownload Document from Source Website File Size: 94,36 KBShare Document on Facebook
|