Date: 2015-05-11 05:01:14

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


Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 2,64 MB