Guy Coder
  • Member for 9 years, 10 months
  • Last seen this week
Choosing a name for the Proof Assistants site
25 votes

proofassistants.stackexchange.com Notice there is no - The reasoning behind removing the dash. ... some human users may have a difficult time recalling your domain name, especially because most ...

View answer
How quickly can a proposal go into private beta?
4 votes

ProofAssistants did the Define phase in about 1 day 1 hour and Commit phase in about 1 day 22 hours and 30 minutes If I had know this Q&A existed before now I would have taken a more timely ...

View answer
Why have a Proof assistants SE site when there are already very active Zulip instances?
4 votes

Being a long time an active member of StackExchange sites here are some of my thoughts and added information that might be of value. StackExchange sites focus on objective questions and answers and ...

View answer
How can I help this proposal get beyond the commitment phase?
-1 votes

Check that those with 200+ rep on other sites signed up correctly. They may have joined Area 51 for the first time with an e-mail different than their SE accounts and so the reputation is not ...

View answer