Area 51
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 11 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
1,746
reputation
4k
reached
5
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
11
bronze badges
Top tags
View all tags
30
Score
7
Posts
70
Posts %
26
Score
2
Posts
20
Posts %
4
Score
2
Posts
20
Posts %
4
Score
1
Posts
10
Posts %
4
Score
1
Posts
10
Posts %
4
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
answer
27
Choosing a name for the Proof Assistants site
Nov 21, 2021
question
11
If you are showing a rep of 51 or 151 you may have committed incorrectly
Nov 22, 2021
question
7
Chat room for ProofAssistants proposal
Nov 25, 2021
answer
4
Why have a Proof assistants SE site when there are already very active Zulip instances?
Nov 20, 2021
question
4
For those new to a StackExchange site some info on what to expect
Nov 22, 2021
question
4
Time line graphs of followers/commiters/users for Area 51 sites
Mar 28, 2012
answer
4
How quickly can a proposal go into private beta?
Nov 24, 2021
question
0
What tags should the site Proof Assistants start with? [closed]
Nov 21, 2021
answer
-1
How can I help this proposal get beyond the commitment phase?
Nov 24, 2021
answer
-1
Choosing a name for the Proof Assistants site
Jan 27, 2022
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)?
74
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.