Dedukti:un v´ erificateur de preuves universel Ali Assaf, Rapha¨ el Cauderlier et Ronan Saillard DEDUC`EAM (INRIA) - MINES ParisTech - Ronan - Document - PDFSEARCH.IO

First Page	Meta Content
	Dedukti:un v´ erificateur de preuves universel Ali Assaf, Rapha¨ el Cauderlier et Ronan Saillard DEDUC`EAM (INRIA) - MINES ParisTech Add to Reading List Document Date: 2013-06-13 10:39:40 Open Document File Size: 1,01 MB Share Result on Facebook

Dedukti:un v´ erificateur de preuves universel Ali Assaf, Rapha¨ el Cauderlier et Ronan Saillard DEDUC`EAM (INRIA) - MINES ParisTech Add to Reading List