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.
61
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
17
votes
3
answers
314
views
Are SE "power users" trying to seed the site with "interesting questions"?
Excuse my ignorance about how things work, but looking at these questions
Could proof assistants be used to prove that some piece of code is free of bugs?
Which programming languages are most similar ...
- 9,812
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 ...
15
votes
1
answer
117
views
Low-quality tags
There are some tags that I don't think are really necessary. They look like someone wanted to come up with more tags that would apply to their question and just lifted some words from the question; ...
- 3,200
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
14
votes
1
answer
160
views
2022 Community Moderator Election Results
Moderator election #1 on Proof Assistants has come to a close, the votes have been tallied, and the new moderators are:
They will be your initial pro-tem moderator team — please thank them for ...
- 101
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
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
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
12
votes
0
answers
176
views
Ways to participate
It looks like the site has gotten off to good start, with a lot of interesting questions and answers! I just want to remind people of some of the other ways to participate that will help the site to ...
- 215
11
votes
9
answers
399
views
What should the name of our main chatroom be?
Every Stack Exchange site (Not all) main chatroom has a unique name that is related to the main site itself.
For example:
Super User: Root Access
Gaming: The Bridge
IoT: Chat of Things
Unix & ...
11
votes
1
answer
64
views
Should there be a mathlib tag for Lean?
There are already a number of questions that are specifically about the monolithic math library mathlib created in Lean. Should we have these kinds of tags ...
- 373
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
9
votes
1
answer
68
views
Does [theorem-proving] need to exist?
I think the theorem-proving tag should be deleted, because it is too general - almost every question will be related to theorem proving. Should it be deleted?
- 238
8
votes
3
answers
114
views
Should questions arising from computational logic be asked?
When the site was proposed the name Proof Assistants was given (ref). However in the unofficial chat room, Area 51 meta questions and other places it became clear ...
- 2,846