Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(3,720 total users)
1
6
member for: 2 years, 4 months
link
#1 week rank
not previously ranked
304 total reputation
110 week reputation
8
28
member for: 2 years, 4 months
link
#2 week rank
-1 change
5,391 total reputation
65 week reputation
23
62
member for: 2 years, 4 months
link
#3 week rank
+4 change
9,722 total reputation
65 week reputation
4
33
member for: 2 years, 4 months
link
#4 week rank
0 change
3,073 total reputation
50 week reputation
1
18
54
member for: 2 years, 4 months
link
#5 week rank
-2 change
9,105 total reputation
30 week reputation
5
11
member for: 2 years, 4 months
link
#6 week rank
-4 change
2,022 total reputation
30 week reputation
2
8
member for: 2 years, 4 months
link
#7 week rank
not previously ranked
446 total reputation
25 week reputation
1
6
member for: 1 year
link
#8 week rank
not previously ranked
249 total reputation
20 week reputation
2
6
member for: 2 years, 2 months
link
#9 week rank
not previously ranked
563 total reputation
20 week reputation
1
6
member for: 1 year, 4 months
link
#10 week rank
-5 change
589 total reputation
10 week reputation
1
10
member for: 1 year, 10 months
link
#11 week rank
not previously ranked
479 total reputation
10 week reputation
2
5
member for: 2 years, 3 months
link
#12 week rank
not previously ranked
673 total reputation
10 week reputation
2
4
member for: 2 years, 4 months
link
#13 week rank
+12 change
229 total reputation
10 week reputation
4
13
member for: 2 years, 4 months
link
#14 week rank
not previously ranked
786 total reputation
10 week reputation
12
21
member for: 2 years, 4 months
link
#15 week rank
+4 change
2,500 total reputation
10 week reputation
9
18
member for: 2 years, 4 months
link
#16 week rank
not previously ranked
2,336 total reputation
10 week reputation
4
11
member for: 2 years, 4 months
link
#17 week rank
not previously ranked
1,547 total reputation
10 week reputation
1
8
39
member for: 2 years, 4 months
link
#18 week rank
not previously ranked
4,025 total reputation
10 week reputation
3
6
member for: 2 years, 4 months
link
#19 week rank
not previously ranked
425 total reputation
10 week reputation
1
10
member for: 7 months
link
#20 week rank
-14 change
249 total reputation
-1 week reputation