◐ Shell reader mode source ↗

Mathematical Components

Pinned Loading

math-comp math-comp Public

Mathematical Components

Rocq Prover 685 132

Repositories

Type

Language

Sort

multinomials Public
Multinomials for the Mathematical Components library.

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

Rocq Prover 17 13 4 (1 issue needs help) 6 Updated Jun 19, 2026
real-closed Public
Theorems for Real Closed Fields

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

Rocq Prover 15 12 6 1 Updated Jun 17, 2026
math-comp Public
Mathematical Components

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

Rocq Prover 685 132 134 43 Updated Jun 17, 2026
math-comp.github.io Public
https://math-comp.github.io/

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

Rocq Prover 244 70 109 64 Updated Jun 16, 2026
hierarchy-builder Public
High level commands to declare a hierarchy based on packed classes

math-comp/hierarchy-builder’s past year of commit activity

Rocq Prover 105 MIT 30 94 (1 issue needs help) 31 Updated Jun 15, 2026
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

Rocq Prover 29 10 4 (1 issue needs help) 1 Updated May 27, 2026
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

Rocq Prover 39 5 15 (1 issue needs help) 1 Updated Apr 3, 2026

View all repositories

People

Top languages

Loading…

Most used topics

Loading…