Pinned
Loading
Mathematical Components
Rocq Prover
686
132
Repositories
Showing 10 of 27 repositories
Coq-Combi
Public
Algebraic Combinatorics in Coq
math-comp/Coq-Combi’s past year of commit activity
Rocq Prover
38
GPL-3.0
9
1
1
Updated Jun 22, 2026
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
Most used topics
Loading…
You can’t perform that action at this time.
