Top Questions

0 votes
0 answers
19 views

What do we do about the Coq tag wrt the rename to Rocq?

0 votes
0 answers
1 view

2023: a year in moderation

1 vote
0 answers
39 views

Syntax highlighting for Isabelle

1 vote
0 answers
26 views

Are questions about automated theorem provers on topic?

3 votes
0 answers
77 views

New SE site for Programming Language Design

13 votes
1 answer
613 views

How are we doing in beta?

3 votes
0 answers
11 views

2022: a year in moderation

2 votes
0 answers
21 views

On tags for technical support

3 votes
2 answers
106 views

Custom Themes and Icons

3 votes
1 answer
60 views

Engineerings questions on internal details of Proof Assistant implementations, usage and modifications?

0 votes
0 answers
51 views

Late Answers: How Late is Late?

3 votes
0 answers
36 views

Renaming "extensional-equality" to "extensional-type-theory"

3 votes
3 answers
84 views

Now that we have our first wiki answer should all the other answers be combined into one?

2 votes
0 answers
18 views

Code Reviews on topic?

6 votes
2 answers
134 views

User Abusing the System for Homework Problem?

5 votes
0 answers
35 views

Are questions about categorical logic on topic?

9 votes
2 answers
172 views

Enabling syntax highlighting of Lean and Coq

4 votes
0 answers
40 views

How to write a tag wiki excerpt?

3 votes
0 answers
27 views

Should I create tags for common components in proof assistant implementations?

4 votes
2 answers
50 views

How detailed should tags be?

13 votes
2 answers
171 views

Is this for assistants only, excluding automated provers?

7 votes
0 answers
167 views

2022 Community Moderator Election

10 votes
3 answers
457 views

Candidate changes in 2022 Moderator Election – review your ballot

15 votes
0 answers
247 views

Leaving Private Beta & Initial Pro-Tem Moderator Election!

14 votes
1 answer
157 views

2022 Community Moderator Election Results

4 votes
2 answers
112 views

How can the actual count of those eligible to vote be determined?

16 votes
0 answers
240 views

Announcing a once in a life time badge! (The Beta badge!)

4 votes
1 answer
64 views

Tag for questions about definitions and approach

5 votes
0 answers
115 views

What is wrong with the question "Formalizations of unsolved problems"?

12 votes
2 answers
223 views

Syntax highlighting for proof assistants

7 votes
4 answers
166 views

Policy on self-answers

0 votes
0 answers
27 views

Reputation Error on Main Reputation Site

-4 votes
3 answers
143 views

Vote to Migrate suggestion: Stack overflow

3 votes
0 answers
61 views

I still have access to the review queues

8 votes
2 answers
186 views

Administrators and Permissions

2 votes
2 answers
67 views

How to get more daily views?

2 votes
1 answer
38 views

Redirected to page announcing PA private beta?

2 votes
0 answers
72 views

Is there a post that compares major proof assistants?

23 votes
1 answer
246 views

Vote Early, Vote Often

6 votes
0 answers
79 views

Should we have a Citation Helper?

-3 votes
1 answer
181 views

How should I format a question correctly?

2 votes
0 answers
27 views

Tags concerning variables and bindings

11 votes
9 answers
394 views

What should the name of our main chatroom be?

12 votes
0 answers
175 views

Ways to participate

4 votes
1 answer
98 views

Site incorrectly shows that I have modified questions

4 votes
1 answer
49 views

Where do we define and keep track of the scope of the site

3 votes
1 answer
104 views

Why is Glorfindel's reputation showing up as only 101 while other people's reputation is much higher?

4 votes
1 answer
68 views

Policies on answers porting code


Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.