YKYH Picks
☰ Menu
Home›Utilities›Coq Platform
App Open source 4 installs/mo

Coq Platform for Mac

Formal proof management system

Quick answer: Coq Platform is a utility for macOS. Install it with brew install --cask coq-platform. Homebrew links this app to a GitHub repository. It has 4 Homebrew installs in the last 30 days.

What Coq Platform is

Coq Platform is a utility for macOS: formal proof management system.

It is distributed as a Homebrew cask, which installs a .app bundle into your Applications folder. The project is open source and lives at https://rocq-prover.org/.

How to install Coq Platform

  1. Open Terminal (press ⌘ + Space and type “Terminal”).
  2. If Homebrew is not installed yet, run the installer below once.
  3. Run brew install --cask coq-platform.

Homebrew installer, if you need it:

Prefer a graphical installer? Download it from the official site. MacPicks never hosts or mirrors binaries — the Homebrew command always pulls from the vendor's own release.

Similar apps in Utilities

Closest apps in the same category, ordered by description similarity and install base. These are related tools, not confirmed substitutes; the comparison pages cover hand-picked head-to-head matchups.

InformWriting system for interactive fiction based on natural languageAppOpen source4/moProductiveAgency management systemApp4/moDesktop ComposerAppearance manager for the system and individual applicationsApp4/moGAMSGeneral Algebraic Modeling SystemApp4/moAutoDMGApp for creating deployable system images from a system installerAppOpen source6/moStratosharkSystem calls and log messages analyzerApp5/mo

Frequently asked questions

How do I install Coq Platform on Mac?

Run brew install --cask coq-platform in Terminal. This requires Homebrew; if you do not have it, install it first with the command below.

Is Coq Platform open source?

Homebrew links this app to a GitHub repository (rocq-prover/platform), which is strong evidence the project is open source. Check the project for the current licence.

Does Coq Platform run on Apple silicon?

Yes, as a universal binary.

How popular is Coq Platform?

It was installed 4 times in the last 30 days according to Homebrew analytics, ranking #9668 in this catalogue.

What version of Coq Platform is current?

The latest packaged version is 2025.01.0,8.20.2025.01.