Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(5,611 total users)
6
member for: 2 months
link
#1 week rank
not previously ranked
261 total reputation
30 week reputation
1
25
61
member for: 3 years, 10 months
link
#2 week rank
0 change
13,112 total reputation
30 week reputation
3
9
member for: 3 years, 10 months
link
#3 week rank
not previously ranked
867 total reputation
23 week reputation
6
13
member for: 3 years, 10 months
link
#4 week rank
not previously ranked
610 total reputation
10 week reputation
1
9
38
member for: 3 years, 10 months
link
#5 week rank
not previously ranked
3,370 total reputation
10 week reputation
3
8
member for: 3 years, 10 months
link
#6 week rank
not previously ranked
343 total reputation
10 week reputation
2
7
member for: 3 years, 10 months
link
#7 week rank
not previously ranked
402 total reputation
10 week reputation
5
13
member for: 3 years, 10 months
link
#8 week rank
not previously ranked
772 total reputation
10 week reputation
5
15
member for: 3 years, 10 months
link
#9 week rank
not previously ranked
1,729 total reputation
10 week reputation
1
10
42
member for: 3 years, 10 months
link
#10 week rank
not previously ranked
4,792 total reputation
10 week reputation
2
9
member for: 3 years, 10 months
link
#11 week rank
not previously ranked
471 total reputation
0 week reputation
4
11
member for: 3 years, 10 months
link
#12 week rank
not previously ranked
1,189 total reputation
-1 week reputation
