robotcoq
17.24%
86,855
11,491 hours
3,602
291
5
263,999
JIRAYALERMITE___
228
20.81%
266,140
4,355
4,355
1,061
205
56
2
7,360 hours
1,324
114
122,282
robotcoq
26.39%
215,166
4,132 hours
2,025
145
5
118,904
RROBIN2004
5.74%
1,134
241
12
0
0
3,490
253
32
22,813