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