Homebrew 已停用此包：超过 90 天没有版本更新

Coq Platform

一款 macOS 证明管理应用，可使用 Rocq Prover 进行交互式定理证明和依赖类型编程。

Cask教育与科研Apple 芯片 · Intel已停用

主页

来自 homebrew/cask

近 30 天安装16

近一年安装193365 天累计

最新版本2025.01.02025年3月31日 · 2025年3月31日

下载大小1.0GBarm64 / x86_64 · dmg

更新节奏不定期近 30 天 0 个版本

来源仓库: homebrew/cask
其他名称: Coq Platform · coqide · coq-platform
下载地址: github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg
SHA-256: 5bfced11017a61e6…
Homebrew 定义文件: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/c/coq-platform.rb
formulae.brew.sh: formulae.brew.sh/cask/coq-platform
源代码: github.com/rocq-prover/platform

安装与卸载内容

安装 app
来源文件: Coq-Platform~8.20~2025.01.app
声明的目标位置: /Applications/Coq-Platform~8.20~2025.01.app
查看完整声明
```
{
  "app": [
    "Coq-Platform~8.20~2025.01.app"
  ],
  "target": "/Applications/Coq-Platform~8.20~2025.01.app"
}
```

清理用户数据 zap

查看完整声明

{
  "zap": [
    {
      "trash": [
        "~/.config/coq",
        "~/Library/Application Support/coq",
        "~/Library/Saved Application State/fr.inria.coq.coqide.savedState"
      ]
    }
  ]
}