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

搜索资源列表

  1. coq-8.11.2-installer-windows-x86_64.exe

  2. Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！

  3. 所属分类：其它

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