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
Analytics:
Installs (30 days) | |
---|---|
coqide |
49 |
Installs (90 days) | |
coqide |
115 |
Installs (365 days) | |
coqide |
339 |