Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(5,123 total users)
1
22
59
member for: 3 years, 5 months
link
#1 quarter rank
0 change
12,317 total reputation
110 quarter reputation
1
7
member for: 1 year, 1 month
link
#2 quarter rank
+6 change
799 total reputation
78 quarter reputation
27
70
member for: 3 years, 5 months
link
#3 quarter rank
0 change
12,421 total reputation
70 quarter reputation
1
10
41
member for: 3 years, 5 months
link
#4 quarter rank
+6 change
4,674 total reputation
50 quarter reputation
4
11
member for: 3 years, 5 months
link
#5 quarter rank
+85 change
828 total reputation
45 quarter reputation
3
9
member for: 2 years, 4 months
link
#6 quarter rank
-2 change
1,110 total reputation
38 quarter reputation
1
10
34
member for: 3 years, 5 months
link
#7 quarter rank
-5 change
6,831 total reputation
30 quarter reputation
13
21
member for: 3 years, 5 months
link
#8 quarter rank
+36 change
2,640 total reputation
30 quarter reputation
3
9
member for: 3 years, 5 months
link
#9 quarter rank
+5 change
819 total reputation
30 quarter reputation
13
member for: 10 months
link
#10 quarter rank
+2 change
561 total reputation
22 quarter reputation
4
member for: 5 months
link
#11 quarter rank
+25 change
211 total reputation
20 quarter reputation
3
9
member for: 3 years, 5 months
link
#12 quarter rank
+18 change
491 total reputation
12 quarter reputation
2
8
member for: 1 year
link
#13 quarter rank
not previously ranked
461 total reputation
10 quarter reputation
1
7
member for: 1 year, 3 months
link
#14 quarter rank
not previously ranked
471 total reputation
10 quarter reputation
2
6
member for: 1 year, 11 months
link
#15 quarter rank
+38 change
313 total reputation
10 quarter reputation
1
5
member for: 2 years, 6 months
link
#16 quarter rank
not previously ranked
219 total reputation
10 quarter reputation
2
4
member for: 2 years, 7 months
link
#17 quarter rank
not previously ranked
265 total reputation
10 quarter reputation
1
6
member for: 3 years, 2 months
link
#18 quarter rank
+39 change
273 total reputation
10 quarter reputation
4
9
member for: 3 years, 5 months
link
#19 quarter rank
+47 change
414 total reputation
10 quarter reputation
10
26
member for: 3 years, 5 months
link
#20 quarter rank
+49 change
2,014 total reputation
10 quarter reputation
1
6
member for: 3 years, 5 months
link
#21 quarter rank
+2 change
205 total reputation
10 quarter reputation
7
12
member for: 3 years, 5 months
link
#22 quarter rank
-2 change
1,906 total reputation
10 quarter reputation
11
16
member for: 3 years, 5 months
link
#23 quarter rank
-2 change
1,579 total reputation
10 quarter reputation
7
13
member for: 3 years, 5 months
link
#24 quarter rank
-18 change
2,757 total reputation
10 quarter reputation
5
14
member for: 3 years, 5 months
link
#25 quarter rank
not previously ranked
1,086 total reputation
10 quarter reputation
1
11
member for: 3 years, 4 months
link
#26 quarter rank
+62 change
315 total reputation
2 quarter reputation
5
14
member for: 3 years, 5 months
link
#27 quarter rank
-1 change
1,649 total reputation
2 quarter reputation
6
14
member for: 3 years, 5 months
link
#28 quarter rank
not previously ranked
630 total reputation
0 quarter reputation
2
12
member for: 2 years, 11 months
link
#29 quarter rank
+10 change
580 total reputation
-1 quarter reputation
3
13
member for: 3 years, 4 months
link
#30 quarter rank
not previously ranked
483 total reputation
-1 quarter reputation
