Back to Results
First PageMeta 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