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
2
votes
1
answer
39
views
Why should I accept answers?
Why should you accept answers on questions? Why does this help when searching for questions?
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 ...
4
votes
0
answers
20
views
Tags for Isabelle Locales and Classes
I believe having a locales for Isabelle will help with organizing questions. I have added Tag info but it is still pending in peer review.
Now the main question is about this question which is ...
3
votes
0
answers
25
views
How to Ask Questions in Private Beta
I think it might be a good idea to give more visibility to the Help Center article How to Ask Questions in Private Beta through a Meta post (this was once suggested on Meta SE by Monica Cellio). So, ...
6
votes
2
answers
67
views
Removing the [recommendations] tag
There is a recommendations tag on Proof Assistants.
Should this be deleted, as it encourages opinion-based answers?
4
votes
2
answers
158
views
Can the SE staff give this site more love and attention, we are only two days old? :-)
With regards to tag edits, this has been holding me up for a few hours.
Also with the limit of 20 edits I tend to hit the limit after a few hours of editing tags.
Can the SE staff check and clear the ...
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 ...
3
votes
1
answer
88
views
tag: hol or higher-order-logic
We now have higher-order-logic and hol. Probably one should be canonical, and the other one be a tag synonym.
I suggest to use hol, as it is shorter and more likely ...
7
votes
4
answers
167
views
Policy on self-answers
Stack Exchange has a lot of general guidance on how to use the site, including how to ask and answer questions. One of those concerns the topic of self-answering questions (or more specifically, ...
3
votes
3
answers
85
views
Now that we have our first wiki answer should all the other answers be combined into one?
This is the first question with wiki answers.
For a wiki
Voting on a community wiki post does not affect the author's reputation.
(ref)
As such there really is no need to keep all of the ...
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 ...
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,...
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 ...
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 ...
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:
...