Nunchaku: Flexible Model Finding for Higher-Order Logic Simon Cruanes, Jasmin Blanchette, Andrew Reynolds Veridis, Inria Nancy https: cedeela.fr ~simon April 7th, 2016 - Simon Reynolds - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-04-07 05:17:04 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution		Nunchaku: Flexible Model Finding for Higher-Order Logic Simon Cruanes, Jasmin Blanchette, Andrew Reynolds Veridis, Inria Nancy https://cedeela.fr/~simon/ April 7th, 2016 Add to Reading List Source URL: cedeela.fr Download Document from Source Website File Size: 396,66 KB Share Document on Facebook