本教程详细介绍了如何在 Windows 10 上利用 WSL 2 安装 Coq 库 Mathematical Components。首先确保 Windows 版本和所需功能已启用，接着下载并安装 Linux 子系统、Debian，然后安装基础应用和 X.org 服务器。通过 VcXsrv 设置图形界面，并在 WSL 中配置 Emacs。最后，遵循一系列的 WSL 终端命令安装 Coq 和相关组件，完成后即可启动 Coq 的集成开发环境。
初学 Coq 时看的是 Mathematical Components 这本书，它自带了一个 Coq 的库，这是它的安装教程
这个库的安装要用到 OCaml Package Manager (OPAM) ，而它在本文所写之时（2021/9/25）仍不支持 Windows
我采用作者推荐的方式安装：采用 WSL 2
以下为步骤
-
确认 Windows 版本为 1903 及以上
可在终端内输入
winver，在打开的窗口中查看 -
确认以下 Windows 功能均已启动：
- 适用于 Linux 的 Windows 子系统
- 虚拟机平台
可以在这里查看：
控制面板 > 程序 > 程序和功能 > 启用或关闭 Windows 功能或者直接在终端中输入以下两行指令以打开：
dism.exe /online /enable-feature /featurename:Microsoft-Windows
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
