coq-platform

Install command: 
brew install --cask coq-platform

Name: Coq Platform

Formal proof management system

https://rocq-prover.org/

Development: Pull requests

Cask JSON API: /api/cask/coq-platform.json

Cask code: coq-platform.rb on GitHub

Current version: 2025.01.0,8.20.2025.01

Former tokens: coqide

Requirements: macOS

Artifacts:

Artifact Type Platform
Coq-Platform~8.20~2025.01.app -> /Applications/Coq-Platform~8.20~2025.01.app App Default platforms
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Golden gate)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Tahoe)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Sequoia)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Sonoma)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Ventura)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Monterey)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App macOS on Intel (Big sur)
Coq-Platform~8.18~2023.11.app -> /Applications/Coq-Platform~8.18~2023.11.app App Linux on Intel

Supported platforms:

Apple Silicon golden gate 2025.01.0,8.20.2025.01
tahoe 2025.01.0,8.20.2025.01
sequoia 2025.01.0,8.20.2025.01
sonoma 2025.01.0,8.20.2025.01
ventura 2025.01.0,8.20.2025.01
monterey 2025.01.0,8.20.2025.01
big sur 2025.01.0,8.20.2025.01
Intel tahoe 2023.11.0,8.18.2023.11
sequoia 2023.11.0,8.18.2023.11
sonoma 2023.11.0,8.18.2023.11
ventura 2023.11.0,8.18.2023.11
monterey 2023.11.0,8.18.2023.11
big sur 2023.11.0,8.18.2023.11

Analytics:

30 days90 days365 days
Installs1330213