Homebrewによりこのパッケージは無効化されています：90 日以上バージョン更新がありません

Coq Platform

Rocq Proverによる対話型定理証明と依存型プログラミングのためのmacOS用証明管理アプリです。

Cask教育・研究Apple シリコン · Intel無効化済み

ホームページ

提供元 homebrew/cask

過去 30 日間のインストール数16

過去1年間のインストール数196過去365日間の合計

最新バージョン2025.01.02025年3月31日 · 2025年3月31日

ダウンロードサイズ1.0GBarm64 / x86_64 · dmg

更新頻度不定期過去30日間に0回リリース

システムとアーキテクチャ

システム要件: 未確認

プラットフォームの対応状況

macOS 27 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 27 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認
macOS 26 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 26 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認
macOS 15 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 15 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認
macOS 14 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 14 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認
macOS 13 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 13 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認
macOS 12 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 12 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認
macOS 11 · Intel · 2023.11.0,8.18.2023.11 未確認
macOS 11 · Appleシリコン · 2025.01.0,8.20.2025.01 未確認

宣言全体を表示

{
  "macos": {}
}

ソースリポジトリ: homebrew/cask
その他の名前: Coq Platform · coqide · coq-platform
ダウンロードURL: 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"
      ]
    }
  ]
}