Coq Platform

A macOS proof-management application for interactive theorem proving and dependently typed programming with the Rocq Prover.

CaskEducation & ScienceApple silicon · Intel

Homepage

From homebrew/cask

30-day installs16#1870 in App

1-year installs196Last 365 days

Latest version2025.01.0Mar 31, 2025 · Mar 31, 2025

Download size1.0GBarm64 / x86_64 · dmg

Release cadenceIrregular0 releases in 30 days

System and architecture

System requirements: Not confirmed

Platform availability

macOS 27 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 27 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
macOS 26 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 26 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
macOS 15 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 15 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
macOS 14 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 14 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
macOS 13 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 13 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
macOS 12 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 12 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
macOS 11 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
macOS 11 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed

View full declaration

{
  "macos": {}
}

Tap: homebrew/cask
Also known as: Coq Platform · coqide · coq-platform
Download 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 definition: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/c/coq-platform.rb
formulae.brew.sh: formulae.brew.sh/cask/coq-platform
Source code: github.com/rocq-prover/platform

Installation and removal contents

Install app
Source file: Coq-Platform~8.20~2025.01.app
Declared destination: /Applications/Coq-Platform~8.20~2025.01.app
View full declaration
```
{
  "app": [
    "Coq-Platform~8.20~2025.01.app"
  ],
  "target": "/Applications/Coq-Platform~8.20~2025.01.app"
}
```

Remove user data zap

View full declaration

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