Q&A for mathematicians and computer scientists who develop and use proof assistants
(2,230 total users)
1
12
42
member for: 1 year, 1 month link
#1 year rank
+1 change
5,748 total reputation
380 year reputation
6
19
member for: 1 year, 1 month link
#2 year rank
+3 change
3,230 total reputation
362 year reputation
6
15
member for: 1 year, 1 month link
#3 year rank
+12 change
1,812 total reputation
280 year reputation
1
7
member for: 1 year link
#4 year rank
+146 change
307 total reputation
214 year reputation
1
3
member for: 1 year link
#5 year rank
+146 change
286 total reputation
205 year reputation
6
31
member for: 1 year, 1 month link
#6 year rank
-2 change
3,263 total reputation
200 year reputation
1
10
member for: 1 year, 1 month link
#7 year rank
+142 change
328 total reputation
185 year reputation
11
20
member for: 1 year, 1 month link
#8 year rank
+4 change
1,986 total reputation
155 year reputation
18
52
member for: 1 year, 1 month link
#9 year rank
-8 change
6,552 total reputation
128 year reputation
8
16
member for: 1 year, 1 month link
#10 year rank
+7 change
1,602 total reputation
115 year reputation
1
5
member for: 1 year, 1 month link
#11 year rank
+134 change
305 total reputation
110 year reputation
8
52
member for: 1 year, 1 month link
#12 year rank
-9 change
5,424 total reputation
90 year reputation
1
6
member for: 1 year link
#13 year rank
+133 change
272 total reputation
90 year reputation
1
10
member for: 1 year, 1 month link
#14 year rank
+83 change
401 total reputation
82 year reputation
8
17
member for: 1 year, 1 month link
#15 year rank
-5 change
2,196 total reputation
80 year reputation
4
13
member for: 1 year, 1 month link
#16 year rank
+18 change
985 total reputation
75 year reputation
4
15
member for: 1 year, 1 month link
#17 year rank
-4 change
1,853 total reputation
70 year reputation
4
27
member for: 1 year, 1 month link
#18 year rank
-11 change
2,832 total reputation
70 year reputation
3
17
member for: 1 year, 1 month link
#19 year rank
+21 change
853 total reputation
62 year reputation
2
5
member for: 1 year, 1 month link
#20 year rank
+32 change
691 total reputation
60 year reputation
1
3
member for: 1 year, 1 month link
#21 year rank
+127 change
231 total reputation
60 year reputation
1
12
member for: 1 year, 1 month link
#22 year rank
+29 change
680 total reputation
60 year reputation
5
19
member for: 1 year, 1 month link
#23 year rank
-1 change
1,327 total reputation
60 year reputation
1
7
member for: 1 year, 1 month link
#24 year rank
+42 change
540 total reputation
55 year reputation
10
member for: 10 months link
#25 year rank
+47 change
497 total reputation
52 year reputation
1
7
36
member for: 1 year, 1 month link
#26 year rank
-15 change
2,051 total reputation
48 year reputation
5
20
member for: 1 year, 1 month link
#27 year rank
-18 change
2,630 total reputation
46 year reputation
3
10
member for: 1 year, 1 month link
#28 year rank
+10 change
874 total reputation
45 year reputation
5
member for: 11 months link
#29 year rank
+56 change
413 total reputation
45 year reputation
2
7
member for: 1 year, 1 month link
#30 year rank
+48 change
451 total reputation
40 year reputation
