YKYH Picks
☰ Menu
Home›Command-Line Tools›math-comp
CLI Open source 30 installs/mo

math-comp for Mac

Mathematical Components for the Coq proof assistant

Quick answer: math-comp is a command-line tool for macOS. Install it with brew install math-comp. It is distributed under the CECILL-B licence. It has 30 Homebrew installs in the last 30 days.

What math-comp is

math-comp is a command-line tool for macOS: mathematical Components for the Coq proof assistant.

It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. It is distributed under the CECILL-B licence.

How to install math-comp

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

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 Command-Line Tools

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.

wassetteSecurity-oriented runtime that runs WebAssembly Components via MCPCLIOpen source23/monexusRepository manager for binary software componentsCLIOpen source40/moironclawSecurity-first personal AI assistant with WASM sandbox channelsCLIOpen source46/mogptmeAI assistant in your terminalCLIOpen source48/mogiraraCommon components for zathuraCLIOpen source18/moasciitexGenerate ASCII-art representations of mathematical equationsCLIOpen source17/mo

Frequently asked questions

How do I install math-comp on Mac?

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

Is math-comp open source?

Yes — Homebrew distributes it under the CECILL-B licence.

Does math-comp run on Apple silicon?

Homebrew publishes this formula for macOS. If upstream does not ship an Apple silicon build, Rosetta 2 handles the Intel binary.

How popular is math-comp?

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

What version of math-comp is current?

The latest packaged version is 2.6.0.