Skip to main content
Proof Assistants Meta
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 2 years, 5 months
  • Last seen more than 1 year ago
  • none
  • East Coast USA
Profile Activity
Stats
2,846
reputation
2k
reached
9
answers
6
questions
Communities
View all
About

Nothing going on here.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
18
bronze badges
Top tags
View all tags
29
Score
12
Posts
80
Posts %
11
Score
2
Posts
13
Posts %
11
Score
2
Posts
13
Posts %
8
Score
1
Posts
7
Posts %
7
Score
3
Posts
20
Posts %
7
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
13
How are we doing in beta?
Feb 10, 2022
8
Is this for assistants only, excluding automated provers?
Feb 11, 2022
8
Should questions arising from computational logic be asked?
Feb 9, 2022
7
Should "Proof Assistants for Vim Users" be made community wiki?
Feb 14, 2022
5
Vote Early, Vote Often
Feb 10, 2022
5
Can I forward questions here from other SE sites?
Feb 13, 2022
4
What are my current privileges?
Feb 9, 2022
4
Can the SE staff give this site more love and attention, we are only two days old? :-)
Feb 9, 2022
4
How can the actual count of those eligible to vote be determined?
Mar 29, 2022
3
Good "What is an X" questions & good answers to them
Feb 12, 2022
Top network posts
View all network posts
151
What is the difference between a token and a lexeme?
120
What's the difference between parse trees and abstract syntax trees (ASTs)?
77
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!