History of Science and Mathematics
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 1 year, 2 months
  • Last seen more than 1 year ago
Profile Activity
Stats
131
reputation
821
reached
2
answers
0
questions
Communities
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.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
2
Score
1
Posts
50
Posts %
2
Score
1
Posts
50
Posts %
2
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
2
Are there any well known mathematicians who were fascists?
Oct 9, 2022
answer
1
Why Was Sequential Analysis Classified?
Oct 10, 2022
Top network posts
View all network posts
6
Is there a proof assistant for Peano Arithmetic?
5
Are search heuristics the main bottleneck for automated theorem provers?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.