Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(5,611 total users)
1
25
61
member for: 3 years, 10 months
link
#1 year rank
0 change
13,112 total reputation
2,733 year reputation
29
74
member for: 3 years, 10 months
link
#2 year rank
0 change
13,050 total reputation
1,740 year reputation
3
12
member for: 2 years, 10 months
link
#3 year rank
+12 change
1,805 total reputation
1,298 year reputation
1
12
35
member for: 3 years, 10 months
link
#4 year rank
-1 change
7,191 total reputation
1,133 year reputation
1
7
member for: 1 year, 6 months
link
#5 year rank
+50 change
906 total reputation
805 year reputation
1
7
member for: 1 year, 4 months
link
#6 year rank
+17 change
1,006 total reputation
685 year reputation
1
9
38
member for: 3 years, 10 months
link
#7 year rank
-2 change
3,370 total reputation
678 year reputation
4
11
member for: 3 years, 10 months
link
#8 year rank
+8 change
1,189 total reputation
643 year reputation
7
15
member for: 3 years, 10 months
link
#9 year rank
-3 change
2,802 total reputation
550 year reputation
1
10
42
member for: 3 years, 10 months
link
#10 year rank
-3 change
4,792 total reputation
393 year reputation
9
38
member for: 3 years, 10 months
link
#11 year rank
-7 change
4,017 total reputation
376 year reputation
2
4
member for: 1 year, 1 month
link
#12 year rank
+58 change
391 total reputation
320 year reputation
1
12
69
member for: 3 years, 10 months
link
#13 year rank
-5 change
6,848 total reputation
306 year reputation
5
member for: 11 months
link
#14 year rank
not previously ranked
271 total reputation
270 year reputation
6
member for: 2 months
link
#15 year rank
not previously ranked
261 total reputation
260 year reputation
1
14
member for: 1 year, 4 months
link
#16 year rank
+1 change
623 total reputation
252 year reputation
3
18
member for: 3 years, 3 months
link
#17 year rank
+10 change
810 total reputation
250 year reputation
2
11
39
member for: 3 years, 10 months
link
#18 year rank
+15 change
2,604 total reputation
244 year reputation
3
9
member for: 3 years, 10 months
link
#19 year rank
-10 change
867 total reputation
240 year reputation
1
5
member for: 1 year, 9 months
link
#20 year rank
-2 change
597 total reputation
238 year reputation
1
10
member for: 1 year
link
#21 year rank
+17 change
387 total reputation
216 year reputation
8
36
member for: 3 years, 10 months
link
#22 year rank
-2 change
3,470 total reputation
200 year reputation
1
8
member for: 2 years, 11 months
link
#23 year rank
+42 change
333 total reputation
195 year reputation
13
21
member for: 3 years, 10 months
link
#24 year rank
-3 change
2,755 total reputation
175 year reputation
2
17
member for: 3 years, 9 months
link
#25 year rank
+10 change
551 total reputation
168 year reputation
9
14
member for: 3 years, 10 months
link
#26 year rank
-16 change
1,976 total reputation
167 year reputation
2
9
member for: 3 years, 10 months
link
#27 year rank
+68 change
471 total reputation
158 year reputation
1
6
13
member for: 3 years, 10 months
link
#28 year rank
+14 change
1,238 total reputation
155 year reputation
2
6
member for: 2 years, 10 months
link
#29 year rank
-10 change
795 total reputation
145 year reputation
10
26
member for: 3 years, 10 months
link
#30 year rank
+9 change
2,104 total reputation
140 year reputation
