Skip to main content

Unanswered Questions

31 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 ...
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 ...
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
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, ...
6 votes
0 answers
79 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
40 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 ...
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? ...
5 votes
0 answers
101 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 ...
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 ...
4 votes
1 answer
22 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 ...
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 ...
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 ...
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
81 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 ...

15 30 50 per page