Pinned
Loading
Mathematical Components
Rocq Prover
668
127
Repositories
Showing 10 of 27 repositories
algebra-tactics
Public
Ring, field, lra, nra, and psatz tactics for Mathematical Components
math-comp/algebra-tactics’s past year of commit activity
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
16
1
2
Updated Mar 3, 2026
math-comp/real-closed’s past year of commit activity
Rocq Prover
14
12
6
2
Updated Mar 3, 2026
multinomials
Public
Multinomials for the Mathematical Components library.
math-comp/multinomials’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
8
1
10
Updated Mar 3, 2026
analysis
Public
Mathematical Components compliant Analysis Library
math-comp/analysis’s past year of commit activity
math-comp/math-comp’s past year of commit activity
finmap
Public
Finite sets, finite maps, multisets and generic sets
math-comp/finmap’s past year of commit activity
Rocq Prover
51
29
12
5
Updated Feb 28, 2026
math-comp/docker-mathcomp’s past year of commit activity
Dockerfile
6
BSD-3-Clause
3
3
1
Updated Feb 26, 2026
You can’t perform that action at this time.
