Coq Platform
Cask Utilities v2025.01.0
Formal proof management system
Install 1
App in
Terminal
$
brew install --cask 'coq-platform'
System Requirements
macOS:
Installs
Coq-Platform~8.20~2025.01.app
Install Statistics 2.4% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 14 | 41 | 235 |
| Avg Daily Installs | 0 | 0 | 1 |