Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https: cedeela.fr ~simon August 2017 - HTTPS - Document - PDFSEARCH.IO

First Page	Meta Content
	Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Add to Reading List Document Date: 2017-08-08 03:28:32 Open Document File Size: 371,90 KB Share Result on Facebook

Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017Add to Reading List