Q&A for mathematicians and computer scientists who develop and use proof assistants
(2,804 total users)
1
15
45
member for: 1 year, 7 months link
#1 week rank
+5 change
6,743 total reputation
10 week reputation
6
member for: 14 days link
#2 week rank
0 change
223 total reputation
10 week reputation
1
6
34
member for: 1 year, 7 months link
#3 week rank
not previously ranked
3,678 total reputation
0 week reputation
