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

搜索资源列表

  1. Coq中文教程.tgz

  2. Coq形式化验证的的中文教程，index.html是入口，对应的*.v文件是课程作业习题 需要配合Coq使用！

  3. 所属分类：讲义

    • 发布日期：2020-07-27
    • 文件大小：3145728
    • 提供者：qq_36021613