Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc - Methodology - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-09-03 04:27:29		Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 482,37 KB Share Document on Facebook