Q&A for mathematicians and computer scientists who develop and use proof assistants
(2,396 total users)
All Time
19
55
member for: 1 year, 3 months link
#1 all time rank
6,957 all time reputation
1
13
42
member for: 1 year, 3 months link
#2 all time rank
6,028 all time reputation
8
56
member for: 1 year, 3 months link
#3 all time rank
5,484 all time reputation
1
6
32
member for: 1 year, 3 months link
#4 all time rank
3,490 all time reputation
6
19
member for: 1 year, 3 months link
#5 all time rank
3,409 all time reputation
4
30
member for: 1 year, 3 months link
#6 all time rank
2,882 all time reputation
1
10
38
member for: 1 year, 3 months link
#7 all time rank
2,796 all time reputation
3
30
member for: 1 year, 3 months link
#8 all time rank
2,671 all time reputation
5
20
member for: 1 year, 3 months link
#9 all time rank
2,658 all time reputation
8
17
member for: 1 year, 3 months link
#10 all time rank
2,196 all time reputation
11
20
member for: 1 year, 3 months link
#11 all time rank
2,079 all time reputation
2
7
36
member for: 1 year, 3 months link
#12 all time rank
2,061 all time reputation
4
15
member for: 1 year, 3 months link
#13 all time rank
1,873 all time reputation
6
15
member for: 1 year, 3 months link
#14 all time rank
1,872 all time reputation
5
23
member for: 1 year, 3 months link
#15 all time rank
1,634 all time reputation
8
16
member for: 1 year, 3 months link
#16 all time rank
1,602 all time reputation
1
4
24
member for: 1 year, 3 months link
#17 all time rank
1,516 all time reputation
5
19
member for: 1 year, 3 months link
#18 all time rank
1,439 all time reputation
4
11
member for: 1 year, 3 months link
#19 all time rank
1,387 all time reputation
7
14
member for: 1 year, 3 months link
#20 all time rank
1,349 all time reputation
5
19
member for: 1 year, 3 months link
#21 all time rank
1,347 all time reputation
3
9
member for: 1 year, 3 months link
#22 all time rank
1,337 all time reputation
7
33
member for: 1 year, 3 months link
#23 all time rank
1,258 all time reputation
6
26
member for: 1 year, 3 months link
#24 all time rank
1,237 all time reputation
5
11
member for: 1 year, 3 months link
#25 all time rank
1,171 all time reputation
5
17
member for: 1 year, 3 months link
#26 all time rank
1,169 all time reputation
11
29
member for: 1 year, 3 months link
#27 all time rank
1,105 all time reputation
3
20
member for: 1 year, 3 months link
#28 all time rank
1,088 all time reputation
3
11
member for: 1 year, 3 months link
#29 all time rank
1,016 all time reputation
5
14
member for: 1 year, 3 months link
#30 all time rank
995 all time reputation
