robotcoq
17.21%
85,611
11,677 hours
3,648
292
6
283,541
JIRAYALERMITE___
228
20.81%
273,736
4,613
4,613
1,061
205
56
2
7,360 hours
1,324
114
117,998
robotcoq
26.51%
203,757
4,317 hours
2,071
146
6
143,879
RROBIN2004
5.74%
1,401
241
12
0
0
3,490
253
32
21,664