Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(3,755 total users)
8
28
member for: 2 years, 5 months
link
#1 quarter rank
+1 change
5,530 total reputation
204 quarter reputation
1
6
member for: 2 years, 4 months
link
#2 quarter rank
+68 change
304 total reputation
110 quarter reputation
23
62
member for: 2 years, 5 months
link
#3 quarter rank
-2 change
9,772 total reputation
95 quarter reputation
1
18
54
member for: 2 years, 5 months
link
#4 quarter rank
-1 change
9,150 total reputation
65 quarter reputation
6
33
member for: 2 years, 5 months
link
#5 quarter rank
+1 change
3,095 total reputation
62 quarter reputation
5
11
member for: 2 years, 5 months
link
#6 quarter rank
-1 change
2,032 total reputation
30 quarter reputation
2
8
member for: 2 years, 5 months
link
#7 quarter rank
+85 change
446 total reputation
25 quarter reputation
1
6
member for: 1 year, 1 month
link
#8 quarter rank
+35 change
249 total reputation
20 quarter reputation
1
6
member for: 1 year, 4 months
link
#9 quarter rank
-2 change
609 total reputation
20 quarter reputation
2
6
member for: 2 years, 3 months
link
#10 quarter rank
+45 change
573 total reputation
20 quarter reputation
5
17
member for: 2 years, 5 months
link
#11 quarter rank
+48 change
2,053 total reputation
20 quarter reputation
5
13
member for: 2 years, 5 months
link
#12 quarter rank
+16 change
618 total reputation
12 quarter reputation
1
10
member for: 1 year, 11 months
link
#13 quarter rank
+58 change
479 total reputation
10 quarter reputation
2
5
member for: 2 years, 4 months
link
#14 quarter rank
not previously ranked
673 total reputation
10 quarter reputation
1
7
29
member for: 2 years, 5 months
link
#15 quarter rank
-6 change
2,220 total reputation
10 quarter reputation
3
7
member for: 2 years, 5 months
link
#16 quarter rank
+65 change
376 total reputation
10 quarter reputation
1
7
member for: 2 years, 5 months
link
#17 quarter rank
not previously ranked
321 total reputation
10 quarter reputation
2
13
member for: 2 years, 5 months
link
#18 quarter rank
+68 change
394 total reputation
10 quarter reputation
4
13
member for: 2 years, 5 months
link
#19 quarter rank
+68 change
786 total reputation
10 quarter reputation
4
11
member for: 2 years, 5 months
link
#20 quarter rank
+3 change
1,547 total reputation
10 quarter reputation
6
34
member for: 2 years, 5 months
link
#21 quarter rank
-8 change
3,200 total reputation
10 quarter reputation
2
9
39
member for: 2 years, 5 months
link
#22 quarter rank
-1 change
2,300 total reputation
10 quarter reputation
1
10
member for: 8 months
link
#23 quarter rank
+1 change
249 total reputation
-1 quarter reputation
1
10
member for: 2 years, 5 months
link
#24 quarter rank
+7 change
296 total reputation
-1 quarter reputation
