coqide

Install command: 
brew install --cask coqide

Name: Coq

Formal proof management system

https://coq.inria.fr/

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

Cask code on GitHub

Current version: 8.13.1

Requires: macOS >= 10.12

Analytics:

Installs (30 days)
coqide 18
Installs (90 days)
coqide 75
Installs (365 days)
coqide 202
Fork me on GitHub