2025.01.0
最新2025年3月31日 · 周一OpenNavo 编辑Homebrew 收录 2025年3月31日 08:23
本次平台发行版包含 VsCoq 语言服务器，VSCoq 可直接连接该服务器。Snap 不再受支持；说明还列出了安装和软件包方面的注意事项。
- 语言服务器
- 平台发行版现已包含 VsCoq 语言服务器。VSCoq 可连接二进制安装包提供的服务器。Windows 上的 VSCoq 也可连接从源码构建的服务器。
- 版本
- 推荐版本：Coq 8.20.1，搭配 2025 年 1 月软件包集合。列出的兼容版本从 Coq 8.19.2 到 Coq 8.12.2。
- 注意事项
- Snap 不再受支持；替代方案正在开发中。macOS Intel 安装包存在问题；建议从源码构建。QuickChick 需要 OCaml，macOS 和 Windows 二进制安装包不含它。