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 month rank
+2 change
5,530 total reputation
204 month reputation
1
6
member for: 2 years, 4 months
link
#2 month rank
not previously ranked
304 total reputation
110 month reputation
23
62
member for: 2 years, 5 months
link
#3 month rank
-2 change
9,772 total reputation
95 month reputation
1
18
54
member for: 2 years, 5 months
link
#4 month rank
-2 change
9,150 total reputation
65 month reputation
6
33
member for: 2 years, 5 months
link
#5 month rank
-1 change
3,095 total reputation
62 month reputation
5
11
member for: 2 years, 5 months
link
#6 month rank
-1 change
2,032 total reputation
30 month reputation
2
8
member for: 2 years, 5 months
link
#7 month rank
not previously ranked
446 total reputation
25 month reputation
1
6
member for: 1 year, 1 month
link
#8 month rank
+14 change
249 total reputation
20 month reputation
1
6
member for: 1 year, 4 months
link
#9 month rank
-1 change
609 total reputation
20 month reputation
2
6
member for: 2 years, 3 months
link
#10 month rank
+14 change
573 total reputation
20 month reputation
5
17
member for: 2 years, 5 months
link
#11 month rank
+17 change
2,053 total reputation
20 month reputation
5
13
member for: 2 years, 5 months
link
#12 month rank
+2 change
618 total reputation
12 month reputation
1
10
member for: 1 year, 11 months
link
#13 month rank
not previously ranked
479 total reputation
10 month reputation
2
5
member for: 2 years, 4 months
link
#14 month rank
not previously ranked
673 total reputation
10 month reputation
1
7
29
member for: 2 years, 5 months
link
#15 month rank
-8 change
2,220 total reputation
10 month reputation
3
7
member for: 2 years, 5 months
link
#16 month rank
not previously ranked
376 total reputation
10 month reputation
1
7
member for: 2 years, 5 months
link
#17 month rank
not previously ranked
321 total reputation
10 month reputation
2
13
member for: 2 years, 5 months
link
#18 month rank
not previously ranked
394 total reputation
10 month reputation
4
13
member for: 2 years, 5 months
link
#19 month rank
+35 change
786 total reputation
10 month reputation
4
11
member for: 2 years, 5 months
link
#20 month rank
not previously ranked
1,547 total reputation
10 month reputation
6
34
member for: 2 years, 5 months
link
#21 month rank
-12 change
3,200 total reputation
10 month reputation
2
9
39
member for: 2 years, 5 months
link
#22 month rank
-6 change
2,300 total reputation
10 month reputation
1
10
member for: 8 months
link
#23 month rank
-10 change
249 total reputation
-1 month reputation
1
10
member for: 2 years, 5 months
link
#24 month rank
+23 change
296 total reputation
-1 month reputation
