Mathematical Components

multinomials Public
Multinomials for the Mathematical Components library.

math-comp/multinomials’s past year of commit activity
math-comp/real-closed’s past year of commit activity

Rocq Prover
15 12 6 1
Updated Jun 17, 2026
math-comp/math-comp’s past year of commit activity
math-comp/math-comp.github.io’s past year of commit activity

HTML
7 11 2 0
Updated Jun 17, 2026
analysis Public
Mathematical Components compliant Analysis Library

math-comp/analysis’s past year of commit activity
hierarchy-builder Public
High level commands to declare a hierarchy based on packed classes

math-comp/hierarchy-builder’s past year of commit activity
Abel Public
A proof of Abel-Ruffini theorem.

math-comp/Abel’s past year of commit activity

Rocq Prover
30 9 1 11
Updated Jun 2, 2026
mczify Public
Micromega tactics for Mathematical Components

math-comp/mczify’s past year of commit activity
odd-order Public
The formal proof of the Odd Order Theorem

math-comp/odd-order’s past year of commit activity

Rocq Prover
37 17 1 2
Updated Apr 17, 2026
algebra-tactics Public
Ring, field, lra, nra, and psatz tactics for Mathematical Components

math-comp/algebra-tactics’s past year of commit activity