coq-platform

Install command:
brew install --cask coq-platform

Name: Coq

Formal proof management system

https://coq.inria.fr/

/api/cask/coq-platform.json (JSON API)

Cask code on GitHub

Current version: 2024.10.0,8.19.2024.10

Former tokens: coqide

Requires: macOS >= 10.12

Variations:

Intel 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
mojave 2023.11.0,8.18.2023.11
high sierra 2023.11.0,8.18.2023.11
sierra 2023.11.0,8.18.2023.11

Analytics:

Installs (30 days)
coq-platform 20
Installs (90 days)
coq-platform 20
Installs (365 days)
coq-platform 20
Fork me on GitHub