Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(3,755 total users)
1
18
54
member for: 2 years, 5 months
link
#1 year rank
0 change
9,150 total reputation
1,745 year reputation
23
62
member for: 2 years, 5 months
link
#2 year rank
0 change
9,772 total reputation
1,421 year reputation
8
28
member for: 2 years, 5 months
link
#3 year rank
0 change
5,530 total reputation
1,287 year reputation
5
11
member for: 2 years, 5 months
link
#4 year rank
+29 change
2,032 total reputation
515 year reputation
10
63
member for: 2 years, 5 months
link
#5 year rank
0 change
6,306 total reputation
419 year reputation
9
member for: 6 months
link
#6 year rank
not previously ranked
420 total reputation
419 year reputation
1
7
29
member for: 2 years, 5 months
link
#7 year rank
+4 change
2,220 total reputation
388 year reputation
6
33
member for: 2 years, 5 months
link
#8 year rank
+62 change
3,095 total reputation
384 year reputation
1
8
39
member for: 2 years, 5 months
link
#9 year rank
-5 change
4,025 total reputation
337 year reputation
2
8
member for: 2 years, 5 months
link
#10 year rank
+73 change
446 total reputation
318 year reputation
1
6
member for: 1 year, 4 months
link
#11 year rank
+2 change
609 total reputation
310 year reputation
4
17
member for: 2 years, 5 months
link
#12 year rank
+28 change
1,053 total reputation
295 year reputation
6
34
member for: 2 years, 5 months
link
#13 year rank
+25 change
3,200 total reputation
278 year reputation
12
21
member for: 2 years, 5 months
link
#14 year rank
-6 change
2,500 total reputation
263 year reputation
6
20
member for: 2 years, 5 months
link
#15 year rank
+13 change
1,502 total reputation
251 year reputation
1
6
member for: 1 year, 1 month
link
#16 year rank
not previously ranked
249 total reputation
248 year reputation
6
12
member for: 2 years, 5 months
link
#17 year rank
-2 change
1,599 total reputation
235 year reputation
1
4
member for: 2 years, 5 months
link
#18 year rank
+62 change
361 total reputation
200 year reputation
4
12
member for: 2 years, 5 months
link
#19 year rank
+10 change
1,266 total reputation
160 year reputation
4
14
member for: 2 years, 5 months
link
#20 year rank
+23 change
921 total reputation
148 year reputation
1
6
member for: 2 years, 4 months
link
#21 year rank
+31 change
304 total reputation
135 year reputation
1
12
member for: 2 years, 3 months
link
#22 year rank
+85 change
333 total reputation
134 year reputation
2
9
39
member for: 2 years, 5 months
link
#23 year rank
+11 change
2,300 total reputation
129 year reputation
1
10
member for: 2 years, 5 months
link
#24 year rank
+8 change
296 total reputation
123 year reputation
1
11
member for: 1 year, 10 months
link
#25 year rank
+68 change
411 total reputation
122 year reputation
1
7
member for: 1 year, 10 months
link
#26 year rank
+89 change
252 total reputation
122 year reputation
5
5
member for: 2 years, 5 months
link
#27 year rank
+29 change
711 total reputation
120 year reputation
3
18
member for: 2 years, 5 months
link
#28 year rank
not previously ranked
1,026 total reputation
120 year reputation
2
6
member for: 2 years, 3 months
link
#29 year rank
+35 change
573 total reputation
115 year reputation
1
3
member for: 1 year, 6 months
link
#30 year rank
+21 change
226 total reputation
110 year reputation
