Back to Results
First PageMeta Content
Automated theorem proving / Proof theory / Mathematical proofs / Logical syntax / First-order logic / Proof assistant / Theorem / Isabelle / Natural deduction / Logic / Mathematics / Mathematical logic


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-01-25 16:18:54

Open Document

File Size: 449,66 KB

Share Result on Facebook

Company

FOF / /

/

Facility

Cornell University / Gates Hall / /

IndustryTerm

proof tool / subset chain / /

OperatingSystem

Hurd / /

Organization

Technische Universität München / S. J. Smolka Department of Computer Science / Cornell University / A. Steckermeier Institut für Informatik / /

Person

Sascha Böhme / Metis / Isar Proofs / Albert Steckermeier / Steffen Juilf Smolka / Mathias Fleury / Jasmin Christian Blanchette / /

Position

editor / proof assistant / forward / specific proof assistant / Isabelle/HOL proof assistant / /

SocialTag