Skip to content
Back to Apps FastBrew

Coq Platform

Cask Utilities v2025.01.0

Formal proof management system

Install 1 App in Terminal
$ 
brew install --cask coq-platform
Source: homebrew/cask Website Homebrew

System Requirements

macOS:

Installs

Coq-Platform~8.20~2025.01.app

Official Homebrew Stats

Install activity metrics for Coq Platform.

-18.9% vs 90d avg
30 Days
10 total installs
0 installs / day avg
90 Days
37 total installs
0 installs / day avg
1 Year
217 total installs
1 installs / day avg

Related Utilities Apps

View All
Open xz
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.3
Open readline
readline
Popular

Library for command-line editing

formula Utilities v8.3.3
Open zstd
zstd
Popular

Zstandard is a real-time compression algorithm

formula Utilities v1.5.7
Open gh
gh
Popular

GitHub command-line tool

formula Utilities v2.96.0
Open python@3.14
python@3.14
Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.14.6
Open glib
glib
Popular

Core application library for C

formula Utilities v2.88.2
X