Skip to main content
MathOverflow
Enrico Tassi's user avatar
Enrico Tassi's user avatar
Enrico Tassi's user avatar
Enrico Tassi
Unregistered
  • Member for 10 years, 7 months
  • Last seen more than 10 years ago
Profile Activity
Stats
576
reputation
6k
reached
1
answer
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
2
bronze badges
Top tags
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
Top posts
answer
56
How do I verify the Coq proof of Feit-Thompson?
May 2, 2014