Q&A for mathematicians and computer scientists who develop and use proof assistants
(2,392 total users)
19
55
member for: 1 year, 3 months link
#1 month rank
+2 change
6,862 total reputation
200 month reputation
1
13
42
member for: 1 year, 3 months link
#2 month rank
+2 change
6,008 total reputation
135 month reputation
6
19
member for: 1 year, 3 months link
#3 month rank
+6 change
3,409 total reputation
130 month reputation
#4 month rank
+26 change
291 total reputation
120 month reputation
1
6
32
member for: 1 year, 3 months link
#5 month rank
-3 change
3,470 total reputation
98 month reputation
#6 month rank
+6 change
229 total reputation
75 month reputation
#7 month rank
+7 change
224 total reputation
66 month reputation
#8 month rank
not previously ranked
337 total reputation
52 month reputation
#9 month rank
not previously ranked
698 total reputation
45 month reputation
#10 month rank
not previously ranked
466 total reputation
45 month reputation
6
15
member for: 1 year, 3 months link
#11 month rank
not previously ranked
1,852 total reputation
40 month reputation
8
56
member for: 1 year, 3 months link
#12 month rank
+5 change
5,484 total reputation
30 month reputation
#13 month rank
not previously ranked
242 total reputation
25 month reputation
11
20
member for: 1 year, 3 months link
#14 month rank
+2 change
2,034 total reputation
25 month reputation
#15 month rank
-14 change
431 total reputation
25 month reputation
#16 month rank
not previously ranked
517 total reputation
20 month reputation
#17 month rank
not previously ranked
348 total reputation
20 month reputation
#18 month rank
not previously ranked
805 total reputation
20 month reputation
4
15
member for: 1 year, 3 months link
#19 month rank
not previously ranked
1,873 total reputation
20 month reputation
4
30
member for: 1 year, 3 months link
#20 month rank
-5 change
2,882 total reputation
20 month reputation
#21 month rank
not previously ranked
539 total reputation
20 month reputation
5
17
member for: 1 year, 3 months link
#22 month rank
-14 change
1,169 total reputation
20 month reputation
#23 month rank
-10 change
648 total reputation
12 month reputation
#24 month rank
not previously ranked
257 total reputation
12 month reputation
#25 month rank
not previously ranked
930 total reputation
10 month reputation
#26 month rank
+13 change
995 total reputation
10 month reputation
#27 month rank
not previously ranked
409 total reputation
10 month reputation
#28 month rank
not previously ranked
421 total reputation
10 month reputation
#29 month rank
not previously ranked
394 total reputation
10 month reputation
3
9
member for: 1 year, 3 months link
#30 month rank
not previously ranked
1,337 total reputation
10 month reputation
