![Logic / Mathematical logic / Automated theorem proving / Mathematics / Mathematical proofs / Proof assistants / Logical truth / Proof theory / Isabelle / First-order logic / Automated reasoning / Theorem Logic / Mathematical logic / Automated theorem proving / Mathematics / Mathematical proofs / Proof assistants / Logical truth / Proof theory / Isabelle / First-order logic / Automated reasoning / Theorem](https://www.pdfsearch.io/img/f47ddc5fa4d2d41cef44524281b3132c.jpg) Date: 2015-07-02 06:25:32Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem | | J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka ·Add to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 459,25 KBShare Document on Facebook
|