Back to Results
First PageMeta Content
Automated theorem proving / Mathematics / Mathematical proofs / Logic / Logical consequence / Statements / Theorem / Creativity / Lemma / Proof assistant / Mathematical logic


Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik,
Add to Reading List

Document Date: 2015-05-09 06:37:36

Open Document

File Size: 294,59 KB

Share Result on Facebook