Top 400 Users
Q&A for mathematicians and computer scientists who develop and use proof assistants
(5,123 total users)
1
22
59
member for: 3 years, 5 months
link
#1 month rank
+4 change
12,327 total reputation
120 month reputation
1
7
member for: 1 year, 1 month
link
#2 month rank
+11 change
799 total reputation
78 month reputation
27
70
member for: 3 years, 5 months
link
#3 month rank
+3 change
12,421 total reputation
70 month reputation
1
10
41
member for: 3 years, 5 months
link
#4 month rank
+6 change
4,674 total reputation
50 month reputation
4
11
member for: 3 years, 5 months
link
#5 month rank
+9 change
828 total reputation
45 month reputation
13
21
member for: 3 years, 5 months
link
#6 month rank
not previously ranked
2,650 total reputation
40 month reputation
3
9
member for: 2 years, 4 months
link
#7 month rank
-5 change
1,110 total reputation
38 month reputation
4
member for: 5 months
link
#8 month rank
not previously ranked
221 total reputation
30 month reputation
1
10
34
member for: 3 years, 5 months
link
#9 month rank
-8 change
6,831 total reputation
30 month reputation
3
9
member for: 3 years, 5 months
link
#10 month rank
not previously ranked
819 total reputation
30 month reputation
13
member for: 10 months
link
#11 month rank
-3 change
561 total reputation
22 month reputation
3
9
member for: 3 years, 5 months
link
#12 month rank
+3 change
491 total reputation
12 month reputation
2
8
member for: 1 year
link
#13 month rank
not previously ranked
461 total reputation
10 month reputation
1
7
member for: 1 year, 3 months
link
#14 month rank
not previously ranked
471 total reputation
10 month reputation
#15 month rank
not previously ranked
201 total reputation
10 month reputation
2
6
member for: 1 year, 11 months
link
#16 month rank
+12 change
313 total reputation
10 month reputation
1
5
member for: 2 years, 6 months
link
#17 month rank
not previously ranked
219 total reputation
10 month reputation
2
4
member for: 2 years, 7 months
link
#18 month rank
not previously ranked
265 total reputation
10 month reputation
1
6
member for: 3 years, 2 months
link
#19 month rank
not previously ranked
273 total reputation
10 month reputation
4
9
member for: 3 years, 5 months
link
#20 month rank
not previously ranked
414 total reputation
10 month reputation
10
26
member for: 3 years, 5 months
link
#21 month rank
not previously ranked
2,014 total reputation
10 month reputation
1
6
member for: 3 years, 5 months
link
#22 month rank
-10 change
205 total reputation
10 month reputation
7
12
member for: 3 years, 5 months
link
#23 month rank
-14 change
1,906 total reputation
10 month reputation
11
16
member for: 3 years, 5 months
link
#24 month rank
-8 change
1,579 total reputation
10 month reputation
7
13
member for: 3 years, 5 months
link
#25 month rank
-14 change
2,757 total reputation
10 month reputation
9
36
member for: 3 years, 5 months
link
#26 month rank
-23 change
3,967 total reputation
10 month reputation
5
14
member for: 3 years, 5 months
link
#27 month rank
not previously ranked
1,086 total reputation
10 month reputation
1
11
member for: 3 years, 4 months
link
#28 month rank
+15 change
315 total reputation
2 month reputation
5
14
member for: 3 years, 5 months
link
#29 month rank
-12 change
1,649 total reputation
2 month reputation
6
14
member for: 3 years, 5 months
link
#30 month rank
not previously ranked
630 total reputation
0 month reputation
