Lockheed Martin Solar and Astrophysics Laboratory - Document - PDFSEARCH.IO

First Page	Meta Content
	A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur Technology Add to Reading List Document Date: 2016-10-11 08:27:06 Open Document File Size: 2,57 MB Share Result on Facebook

UPDATE

A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur TechnologyAdd to Reading List