Questions tagged [discussion]
Use if the question you're asking is designed to reflect different opinions or best-practices on a particular topic, with the goal of reaching community consensus.
13
questions
23
votes
1
answer
248
views
Vote Early, Vote Often
It would be hard to over-emphasise how critical voting is for the health of an SE site. Voting is how good content gets recognized, wrong or incoherent content is signalled, and how a class of editors,...
- 101
15
votes
0
answers
249
views
Leaving Private Beta & Initial Pro-Tem Moderator Election!
Congratulations! You've met the participation and engagement expectations for an active private beta site and will be going into public beta tomorrow!
As we’re getting ready to wrap up the private ...
- 101
13
votes
1
answer
619
views
How are we doing in beta?
Beta sites do not automatically make it to a full site. There are requirements we have to meet.
See: What should the criteria be for Stack Exchange sites to leave beta?
Where can one see how the users ...
- 2,846
13
votes
2
answers
182
views
Is this for assistants only, excluding automated provers?
Do automated theorem provers fall under the scope of this new Stack Exchange sub-site, as well as Proof Assistants?
- 519
6
votes
2
answers
160
views
Why is a question about dependent type theory off topic?
The question Elimination rule for identity types in Martin-Lof Type Theory [closed] was recently closed for being off-topic.
While I agree it should have been closed for being a duplicate, I don't see ...
- 2,300
16
votes
0
answers
241
views
Announcing a once in a life time badge! (The Beta badge!)
In case you missed the announcement: participating in the private beta stage will give you a chance to receive a badge that is only obtainable within a limited time frame. This is called the Beta ...
12
votes
2
answers
230
views
Syntax highlighting for proof assistants
In my answer to the question about the "Hello World" of proof assistants, the code is very monochromatic:
...
- 1,165
10
votes
3
answers
467
views
Candidate changes in 2022 Moderator Election – review your ballot
TL;DR: There's been a change in the candidate list for the 2022 Moderator Election. If you've already voted, you should confirm your votes still accurately represent your preferences. Details follow.
...
- 101
7
votes
0
answers
168
views
2022 Community Moderator Election
The 2022 Community Moderator Election is now underway!
Community moderator elections have three phases:
Nomination phase
Primary phase
Election phase
Most elections take between two and three weeks, ...
4
votes
2
answers
53
views
How detailed should tags be?
I saw a tag coq-definition. Should there be $\forall l\in \text{ProofAssistants}, l\text{-definition}$ tag? Should there be like ...
ice1000Mod
- 6,316
4
votes
0
answers
26
views
On tags for technical support
I doubt that tags like installation is of any use. No one is probably going to watch or use this tag, because people don't tend to learn everything about the installation of every proof assistant.
I ...
TreborMod
- 4,025
3
votes
0
answers
11
views
2022: a year in moderation
As we say goodbye to the old year and welcome the new one, we have a tradition of sharing moderation stats for the preceding calendar year.
As most of you here are aware, sites on the Stack Exchange ...
- 101
0
votes
0
answers
42
views
Announcing a Pro Tempore election for 2024
Summary: Proof Assistants Stack Exchange will begin the nomination stage for a special election on April 9th, 2024 to bring in 2 more moderators.
For full details of the process, see the announcement ...
- 101