Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

First Page		Document Content
Date: 2013-05-22 10:58:51		Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 323,33 KB Share Document on Facebook