Back to Results
First PageMeta Content
Logic / 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 List

Document Date: 2015-07-02 06:25:32

Open Document

File Size: 459,25 KB

Share Result on Facebook
UPDATE