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

Versions:

Intel golden gate 2023.11.0,8.18.2023.11
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
64-bit linux 2023.11.0,8.18.2023.11

Analytics:

30 days90 days365 days
Installs834216