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

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

Analytics:

30 days90 days365 days
Installs832217