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.
26
questions with no upvoted or accepted answers
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
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
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
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, ...
6
votes
0
answers
41
views
2024 Community Moderator Election Results
Proof Assistants's Moderator election #2 has come to a close. Since there were not enough candidates for a competitive election, we simply appointed the candidates who nominated themselves:
They will ...
- 101
6
votes
0
answers
38
views
Are questions about categorical logic on topic?
Are questions about categorical logic and the related category theory are on topic on this website? Categorical logic is strongly connected to type theory and the semantic of (many) proof assistants, ...
- 722
6
votes
0
answers
81
views
Should we have a Citation Helper?
It looks like a great deal of questions so far are about theoretical aspects of proof assistants and the underlying type theories. The answers to these questions rely on academic papers and conference ...
5
votes
0
answers
116
views
What is wrong with the question "Formalizations of unsolved problems"?
There are comments suggesting that the question Formalization of unsolved problems should be closed because it doesn't contain the big-list tag. I don't understand this. Am I missing something?
...
- 9,195
5
votes
0
answers
103
views
Making / keeping the site expert friendly
I'm a novice at this subject. There are many questions I could ask that are pretty basic. These sorts of questions may have some benefit to future readers, since getting a critical mass of knowledge ...
- 3,095
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
4
votes
0
answers
38
views
Renaming "extensional-equality" to "extensional-type-theory"
Is there any better suggestion or reasons against changing extensional-equality to extensional-type-theory? As Couchy suggests, the current tag is slightly ambiguous. If there is no objection, I think ...
TreborMod
- 4,025
4
votes
0
answers
40
views
How to write a tag wiki excerpt?
I'm hoping to establish some sort of guideline for writing tag wiki excerpts (or usage guidance).
Examples of tag wiki excerpts I find usually fall into two categories. The first references the tag ...
- 2,300
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 ...
- 1,128
3
votes
0
answers
33
views
Are questions about automated theorem provers on topic?
I asked the what is needed to move from design by contract to using a proof assistant?
not realizing that proof assistant seems to imply interactivity.
I now realize I meant something else - automated ...
- 151
3
votes
0
answers
82
views
New SE site for Programming Language Design
As Proof Assistants is one of the newest SE sites, many of you might remember the process that's in place for getting a new site approved, and many of you might remember how exciting it is to be one ...
- 1,165