COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  - A¹ homotopy theory - Document - PDFSEARCH.IO

First Page	Meta Content
	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Document Date: 2015-05-11 05:01:14 Open Document File Size: 2,64 MB Share Result on Facebook

COQHOTT A NEW PROOF-ASSISTANT THAT REVISITS THE THEORETICAL FOUNDATIONS OF COQ USING HOMOTOPY TYPE THEORY Add to Reading List