M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 2 years, 2 months
  • Last seen this week
Stats
363
reputation
1k
reached
6
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.
2
silver badges
6
bronze badges
6
Score
2
Posts
33
Posts %
6
Score
1
Posts
17
Posts %
6
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
Top posts