会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
chesium
博客园
首页
新随笔
联系
订阅
管理
2021年10月20日
在 Windows 10 上安装 Coq 库 Mathematical Components
摘要: 初学 Coq 时看的是 Mathematical Components 这本书,它自带了一个 Coq 的库,这是它的安装教程 这个库的安装要用到 OCaml Package Manager (OPAM) ,而它在本文所写之时(2021/9/25)仍不支持 Windows 我采用作者推荐的方式安装:采
阅读全文
posted @ 2021-10-20 16:18 chesium
阅读(206)
评论(0)
推荐(0)
编辑
公告