27 Repositories
math-comp
605
analysis
214
mcb
141
hierarchy-builder
97
finmap
47
Coq-Combi
38
algebra-tactics
33
odd-order
30
Abel
28
mczify
25
tutorial_material
17
multinomials
14
real-closed
13
POPLmark
7
math-comp.github.io
7
docker-mathcomp
6
bigenough
4
wiki
3
ssr-manual
3
mathcomp-history-before-github
3
math-comp-nix
3
dioid
3
pnp
2
trajectories
0
tools
0
newtonsums
0
cad
0