Install command:
brew install --cask coqide

Name: Coq

Formal proof management system

/api/cask/coqide.json (JSON API)

Cask code on GitHub

Current version: 8.13.1

Requires: macOS >= 10.12

coqide is built for Intel macOS and so requires Rosetta 2 to be installed.
You can install Rosetta 2 with:
    softwareupdate --install-rosetta --agree-to-license
Note that it is very difficult to remove Rosetta 2 once it is installed.


Installs (30 days)
coqide 19
Installs (90 days)
coqide 75
Installs (365 days)
coqide 367
Fork me on GitHub