27 Repositories
math-comp
548
analysis
180
mcb
139
hierarchy-builder
91
finmap
46
Coq-Combi
34
algebra-tactics
29
Abel
28
odd-order
24
mczify
22
tutorial_material
17
multinomials
14
real-closed
12
POPLmark
7
math-comp.github.io
7
docker-mathcomp
6
bigenough
4
wiki
3
ssr-manual
3
mathcomp-history-before-github
3
dioid
3
pnp
2
math-comp-nix
1
trajectories
0
tools
0
newtonsums
0
cad
0