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 阅读(238) 评论(0) 推荐(0) 编辑