coq-platform

Install command: 
brew install --cask coq-platform

Name: Coq Platform

Formal proof management system

https://rocq-prover.org/

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 >= 10.15

Versions:

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
catalina 2023.11.0,8.18.2023.11

Analytics:

Installs (30 days)
coq-platform 22
Installs (90 days)
coq-platform 64
Installs (365 days)
coq-platform 304