Coq Platform
Cask Utilities v2025.01.0
Formal proof management system
About
Install Coq Platform on macOS with Homebrew Cask using `brew install --cask coq-platform`. Coq Platform is a Utilities app with version 2025.01.0,8.20.2025.01. The package is listed in homebrew/cask.
Install 1 App in Terminal
$
brew install --cask coq-platform
System Requirements
macOS:
Installs
Coq-Platform~8.20~2025.01.app
Official Homebrew Stats
Install activity metrics for Coq Platform.
30 Days
12 total installs
0 installs / day avg
90 Days
39 total installs
0 installs / day avg
1 Year
217 total installs
1 installs / day avg
Frequently asked questions
How do I install Coq Platform with Homebrew?
Run brew install --cask coq-platform in Terminal to install Coq Platform as a Homebrew cask on macOS.
What kind of app is Coq Platform?
Coq Platform is listed as a Utilities app in Homebrew Cask and FastBrew currently shows version 2025.01.0,8.20.2025.01.
What should I check before installing Coq Platform?
Check any caveats, conflicts, auto-update behavior, and the official homepage before installing.
Related Utilities Apps
View AllOpen python@3.14
python@3.14
Popular
Interpreted, interactive, object-oriented programming language
Utilities v3.14.6