M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 1 year, 10 months
  • Last seen more than 1 year ago
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
5
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 %