注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. coq理论：特定的coq理论-源码

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

  3. 所属分类：其它