Skip to content
Skip to content
Back to Apps FastBrew

Coq Platform

Cask Utilities v2025.01.0,8.20.2025.01

Formal proof management system

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

System Requirements

macOS:
>= 10.15 (Catalina)

Installs

Coq-Platform~8.20~2025.01.app
Install Statistics 1.5%

Average daily installs by period

Related Utilities Apps

View All
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.2
glib
Popular

Core application library for C

formula Utilities v2.86.4
python@3.13
Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.13.12
readline
Popular

Library for command-line editing

formula Utilities v8.3.3
gettext
Popular

GNU internationalization (i18n) and localization (l10n) library

formula Utilities v1.0
harfbuzz
Popular

OpenType text shaping engine

formula Utilities v12.3.2
X