M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 1 year, 6 months
  • Last seen this week
Stats
201
reputation
2k
reached
5
answers
0
questions
Loading…
About

One day I will make the most beautiful proof assistant in the world. If not, I will become the king of pirates.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
6
Score
3
Posts
60
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
Top posts