A Trustworthy, Extensible Theorem Prover Jared Davis Department of Computer Sciences The University of Texas at Austin - Austin Davis - Document - PDFSEARCH.IO

First Page	Meta Content
	A Trustworthy, Extensible Theorem Prover Jared Davis Department of Computer Sciences The University of Texas at Austin Add to Reading List Document Date: 2010-11-04 22:53:43 Open Document File Size: 960,59 KB Share Result on Facebook Company Computer Sciences / / / Facility Computer Sciences The University of Texas / / Organization University of Texas at Austin / / ProgrammingLanguage Common Lisp / Lisp / / TVShow Q. E. D. / / SocialTag Lisp programming language Logic in computer science Proof theory Formal methods Mathematical logic ACL2 Mathematical proof Theorem Automated theorem proving Mathematics

A Trustworthy, Extensible Theorem Prover Jared Davis Department of Computer Sciences The University of Texas at AustinAdd to Reading List