Name: Coq
Formal proof management system
/api/cask/coq-platform.json
(JSON API)
Cask code on GitHub
Current version: 2024.10.0,8.19.2024.10
Former tokens: coqide
Requires: macOS >= 10.12
Variations:
Intel | 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 | |
mojave | 2023.11.0,8.18.2023.11 | |
high sierra | 2023.11.0,8.18.2023.11 | |
sierra | 2023.11.0,8.18.2023.11 |
Analytics:
Installs (30 days) | |
---|---|
coq-platform |
26 |
Installs (90 days) | |
coq-platform |
37 |
Installs (365 days) | |
coq-platform |
37 |