GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine - Thomas theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine Add to Reading List Document Date: 2015-06-10 09:33:21 Open Document File Size: 359,00 KB Share Result on Facebook

GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal FontaineAdd to Reading List