![Automated theorem proving / Mathematics / Mathematical proofs / Logic / Logical consequence / Statements / Theorem / Creativity / Lemma / Proof assistant / Mathematical logic Automated theorem proving / Mathematics / Mathematical proofs / Logic / Logical consequence / Statements / Theorem / Creativity / Lemma / Proof assistant / Mathematical logic](https://www.pdfsearch.io/img/54daa27d1ebc1fde8859eda5d073efc5.jpg) Date: 2015-05-09 06:37:36Automated 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 ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 294,59 KBShare Document on Facebook
|