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

Current version requires: macOS >= 10.12

Versions:

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 33
Installs (90 days)
coq-platform 116
Installs (365 days)
coq-platform 169
Fork me on GitHub