Pinned
Loading
Mathematical Components
Rocq Prover
671
128
Repositories
Showing 10 of 27 repositories
analysis
Public
Mathematical Components compliant Analysis Library
math-comp/analysis’s past year of commit activity
Rocq Prover
240
65
90
58
Updated Mar 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
16
1
2
Updated Mar 27, 2026
bigenough
Public
Asymptotic reasoning with bigenough
math-comp/bigenough’s past year of commit activity
Rocq Prover
5
5
0
0
Updated Mar 26, 2026
math-comp/real-closed’s past year of commit activity
Rocq Prover
14
12
6
1
Updated Mar 26, 2026
math-comp/math-comp’s past year of commit activity
multinomials
Public
Multinomials for the Mathematical Components library.
math-comp/multinomials’s past year of commit activity
mczify
Public
Micromega tactics for Mathematical Components
math-comp/mczify’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
4
Updated Mar 25, 2026
math-comp/trajectories’s past year of commit activity
Rocq Prover
0
5
8
0
Updated Mar 15, 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
Most used topics
Loading…
You can’t perform that action at this time.
