math-comp

⚗️ Formula Utilities v2.5.0

Mathematical Components for the Coq proof assistant

Installs (90 Days)

161

Page Views

Command Copies

Last Updated

yesterday

Installation

Include Homebrew Installation

Install math-comp using Homebrew:

Install in Terminal

brew install math-comp

Quick Stats

Category Utilities

Type Formula

Homebrew

Related Utilities Apps

python@3.13

Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.13.9

harfbuzz

Popular

OpenType text shaping engine

formula Utilities v12.2.0

readline

Popular

Library for command-line editing

formula Utilities v8.3.1

glib

Popular

Core application library for C

formula Utilities v2.86.1

Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.1

awscli

Popular

Official Amazon AWS command-line interface

formula Utilities v2.31.31