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

搜索资源列表

  1. HOL：HOL4定理证明系统的规范资料。 “开发”分支是发生“主线开发”的地方； 当`develop`通过我们的回归测试时，`master`被合并以赶上-源码

  2. 这是HOL4的Kananaskis发行版的分发目录。 有关在线资源，请参见 。 以下是分发中可用内容的简短列表。 INSTALL * Installation instructions COPYRIGHT * Copyright notice std.prelude * File loaded at the beginning of each HOL session bin/ * Executables doc/

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：22mb
    • 提供者：weixin_42121272