Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http: cl-informatik.uibk.ac.at cek coqhammer - Coq - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-04-03 08:55:56		Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/ Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 182,44 KB Share Document on Facebook