Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(3,755 total users)
1
18
54
member for: 2 years, 5 months
link
#1 week rank
+4 change
9,150 total reputation
45 week reputation
8
28
member for: 2 years, 5 months
link
#2 week rank
-1 change
5,530 total reputation
40 week reputation
23
62
member for: 2 years, 5 months
link
#3 week rank
0 change
9,772 total reputation
40 week reputation
5
13
member for: 2 years, 5 months
link
#4 week rank
not previously ranked
618 total reputation
12 week reputation
1
6
member for: 1 year, 4 months
link
#5 week rank
+4 change
609 total reputation
10 week reputation
2
6
member for: 2 years, 3 months
link
#6 week rank
+4 change
573 total reputation
10 week reputation
1
7
29
member for: 2 years, 5 months
link
#7 week rank
not previously ranked
2,220 total reputation
10 week reputation
3
7
member for: 2 years, 5 months
link
#8 week rank
not previously ranked
376 total reputation
10 week reputation
1
7
member for: 2 years, 5 months
link
#9 week rank
not previously ranked
321 total reputation
10 week reputation
2
13
member for: 2 years, 5 months
link
#10 week rank
not previously ranked
394 total reputation
10 week reputation
5
17
member for: 2 years, 5 months
link
#11 week rank
+4 change
2,053 total reputation
10 week reputation
6
34
member for: 2 years, 5 months
link
#12 week rank
not previously ranked
3,200 total reputation
10 week reputation
2
9
39
member for: 2 years, 5 months
link
#13 week rank
not previously ranked
2,300 total reputation
10 week reputation
5
11
member for: 2 years, 5 months
link
#14 week rank
-8 change
2,032 total reputation
10 week reputation
6
33
member for: 2 years, 5 months
link
#15 week rank
-11 change
3,095 total reputation
2 week reputation
1
10
member for: 2 years, 5 months
link
#16 week rank
+6 change
296 total reputation
0 week reputation
