Pinned
Loading
Mathematical Components
Rocq Prover
637
124
Repositories
Showing 10 of 27 repositories
multinomials
Public
Multinomials for the Mathematical Components library.
math-comp/multinomials’s past year of commit activity
math-comp/math-comp’s past year of commit activity
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
cad
Public
Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp
math-comp/cad’s past year of commit activity
Rocq Prover
0
LGPL-3.0
2
0
0
Updated Aug 25, 2025
analysis
Public
Mathematical Components compliant Analysis Library
math-comp/analysis’s past year of commit activity
Rocq Prover
224
59
81
52
Updated Aug 24, 2025
odd-order
Public
The formal proof of the Odd Order Theorem
math-comp/odd-order’s past year of commit activity
Rocq Prover
34
16
1
4
Updated Aug 20, 2025
hierarchy-builder
Public
High level commands to declare a hierarchy based on packed classes
math-comp/hierarchy-builder’s past year of commit activity
math-comp/math-comp.github.io’s past year of commit activity
HTML
7
10
0
0
Updated Aug 16, 2025
finmap
Public
Finite sets, finite maps, multisets and generic sets
math-comp/finmap’s past year of commit activity
Rocq Prover
50
29
13
2
Updated Jul 4, 2025
Most used topics
Loading…
You can’t perform that action at this time.