Skip to main content
Proof Assistants Beta
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 3 years, 3 months
  • Last seen more than 1 year ago
  • none
  • East Coast USA
Profile Activity
Stats
2,876
reputation
11k
reached
7
answers
16
questions
Communities
View all
About

Nothing going on here.

Badges
View all badges
1
gold badge
13
silver badges
39
bronze badges
Top tags
View all tags
30
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
32
What are the bases for different Proof Assistants?
Feb 8, 2022
22
What is the difference between `leanprover` and `leanprover-community` GitHub repositories?
Feb 8, 2022
21
So many data types, so little time
Mar 2, 2022
20
Why is Isabelle usually not just Isabelle but Isabelle/<xyz>?
Feb 17, 2022
12
Do any automated theorem provers have the ability to stop, save state, reboot computer, restore state, continue?
Mar 3, 2022
10
Are there any proof assistants or theorem provers based on the method of analytic tableaux?
Feb 8, 2022
10
Where can I find lists of theorems that have been verified?
Feb 9, 2022
10
What makes a proof assistant a proof assistant?
Feb 10, 2022
10
Is there something special about weak head normal form used with proof assistants?
Feb 10, 2022
9
How does a logical framework become a meta-logical framework?
Feb 18, 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
155
What is the difference between a token and a lexeme?
124
What's the difference between parse trees and abstract syntax trees (ASTs)?
78
How to find a folder on my server with a certain name?
71
How to install TensorFlow on Windows?
55
Texmaker (Windows version) - first use - Error: Log file not found!