coq理论:特定的coq理论 源码
辅酶理论 该知识库包含特定的Coq理论和事实,这些理论和事实对我和学生的研究似乎很有用。 文件TypeProperties.v包含Coq定义,用于区分居住类型和非居住类型以及有限和无限类型。 同样,提出并扎根了概念之间的对应示例和关系。
下载地址
用户评论
