摘要：Gabriel-Zisman本地化的Coq证明文件携带源代码。本预印本的文本包括主要文件的定义和引理陈述，已删除证明。详情请参阅其他预印本“向计算机解释GZ本地化”。
作者：Carlos T. Simpson (JAD)
论文ID：math/0506470
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中