Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us
Add to Reading List
Document Date: 2013-11-07 01:57:36
Open Document
File Size: 86,30 KB
Share Result on Facebook
A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us