First Page | Document Content | |
---|---|---|
Date: 2016-10-11 08:27:06 | 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 ListSource URL: scheme2016.snow-fort.orgDownload Document from Source WebsiteFile Size: 2,57 MBShare Document on Facebook |