Skip to main content
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 2 years, 4 months
  • Last seen more than a week ago
Stats
363
reputation
2k
reached
6
answers
1
question
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
7
bronze badges
6
Score
2
Posts
29
Posts %
6
Score
1
Posts
14
Posts %
6
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
Top posts