Pinned
Loading
Mathematical Components
Rocq Prover
665
126
Repositories
Showing 10 of 27 repositories
bigenough
Public
Asymptotic reasoning with bigenough
math-comp/bigenough’s past year of commit activity
Rocq Prover
5
4
0
0
Updated Jan 21, 2026
Coq-Combi
Public
Algebraic Combinatorics in Coq
math-comp/Coq-Combi’s past year of commit activity
Rocq Prover
39
GPL-3.0
8
1
1
Updated Jan 20, 2026
math-comp/math-comp’s past year of commit activity
analysis
Public
Mathematical Components compliant Analysis Library
math-comp/analysis’s past year of commit activity
Rocq Prover
232
65
83
50
Updated Jan 18, 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
math-comp/math-comp.github.io’s past year of commit activity
HTML
7
10
2
0
Updated Dec 10, 2025
mczify
Public
Micromega tactics for Mathematical Components
math-comp/mczify’s past year of commit activity
math-comp/docker-mathcomp’s past year of commit activity
Dockerfile
6
BSD-3-Clause
3
3
2
Updated Nov 24, 2025
multinomials
Public
Multinomials for the Mathematical Components library.
math-comp/multinomials’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
13
6
Updated Nov 5, 2025
Most used topics
Loading…
You can’t perform that action at this time.
