coqide

Name: Coq

https://coq.inria.fr/

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

Cask code on GitHub

Current version: 8.9.0

Requires: macOS >= 10.12

Fork me on GitHub