Proof Assistants Beta
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi's user avatar
M. Lonardi
  • Member for 1 year, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
363
reputation
1k
reached
6
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.
2
silver badges
5
bronze badges
Top tags
View all tags
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
All Questions Answers
Score Newest
answer
6
Is there a proof assistant for Peano Arithmetic?
Feb 10, 2022
answer
5
Are search heuristics the main bottleneck for automated theorem provers?
Feb 12, 2022
answer
4
Are there any non-English based proof assistants?
Feb 11, 2022
answer
4
What are good books for learning about proof assistants for Functional Analysis?
Feb 11, 2022
answer
2
Are there any provers based on a paraconsistent logic?
Feb 15, 2022
answer
2
What is known about minimal sets of axioms?
Feb 22, 2022

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.