Proof Assistants Beta
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 1 year, 7 months
  • Last seen more than a week ago
  • none
  • East Coast USA
Profile Activity
Stats
2,826
reputation
8k
reached
7
answers
16
questions
Communities
View all
About

Nothing going on here.

Badges
View all badges
1
gold badge
10
silver badges
38
bronze badges
Top tags
View all tags
29
Score
2
Posts
9
Posts %
3
Score
6
Posts
26
Posts %
3
Score
3
Posts
13
Posts %
3
Score
3
Posts
13
Posts %
3
Score
2
Posts
9
Posts %
3
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
32
What are the bases for different Proof Assistants?
Feb 8, 2022
question
21
What is the difference between `leanprover` and `leanprover-community` GitHub repositories?
Feb 8, 2022
answer
20
So many data types, so little time
Mar 2, 2022
question
19
Why is Isabelle usually not just Isabelle but Isabelle/<xyz>?
Feb 17, 2022
question
12
Do any automated theorem provers have the ability to stop, save state, reboot computer, restore state, continue?
Mar 3, 2022
answer
10
Are there any proof assistants or theorem provers based on the method of analytic tableaux?
Feb 8, 2022
answer
10
Where can I find lists of theorems that have been verified?
Feb 9, 2022
question
10
Is there something special about weak head normal form used with proof assistants?
Feb 10, 2022
question
9
What makes a proof assistant a proof assistant?
Feb 10, 2022
answer
9
What are good books for learning about proof assistants for Functional Analysis?
Feb 10, 2022
Top Meta posts
6
9
13
How are we doing in beta?
8
Is this for assistants only, excluding automated provers?
8
Should questions arising from computational logic be asked?
7
Should "Proof Assistants for Vim Users" be made community wiki?
5
Vote Early, Vote Often
Top network posts
View all network posts
147
What is the difference between a token and a lexeme?
119
What's the difference between parse trees and abstract syntax trees (ASTs)?
73
How to find a folder on my server with a certain name?
71
How to install TensorFlow on Windows?
54
Texmaker (Windows version) - first use - Error: Log file not found!

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.