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
5
votes
1
answer
26
views
Code Reviews on topic?
There are two related questions here:
Question 1: Reviewing proof scripts? I just formalized a type system in Coq (and I'm almost certain it is not "idiomatic Coq"), would it be appropriate ...
CommunityBot
- 1
0
votes
2
answers
32
views
Are we out of beta yet?
Can someone explain whether we are out of beta, and if we're not, what needs to happen? Or is it the case that the site banner has not been updated, but we are otherwise out of beta?
CommunityBot
- 1
0
votes
1
answer
15
views
Are software-level questions about proof assistants questions on-topic? Like how to install/run/open Coq/Lean?
It's mainly regarding this question.
- 2,300
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
0
votes
1
answer
31
views
Hobbled math processing on this site?
In a site about proof assistants, I'd expect to be able to format mathematics reasonably smoothly, but many things ( cases, newline, and set-brackets are just two of the things that I've found so far )...
- 1,165
0
votes
0
answers
36
views
2024 Community Moderator Election
The 2024 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, ...
CommunityBot
- 1
2
votes
0
answers
35
views
Why are we having an election?
An election was just announced: Announcing a Pro Tempore election for 2024, however no explanation was given about the reason for this election.
We already had an election in 2022 and we have three ...
- 1,165
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
0
votes
0
answers
49
views
What do we do about the Coq tag wrt the rename to Rocq?
Since the language Coq has been renamed to Rocq, should we also rename or redirect the tag?
ice1000Mod
- 6,316
0
votes
0
answers
5
views
2023: a year in moderation
It’s that time of the year again! As we wave goodbye to last year and welcome the new one, we have a tradition of sharing moderation stats for the preceding calendar year.
As most of you here might be ...
- 101
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 ...
TreborMod
- 4,025
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 ...
- 1,165
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
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