Skip to main content

Top Questions

5 votes
1 answer
23 views

Code Reviews on topic?

0 votes
2 answers
28 views

Are we out of beta yet?

0 votes
1 answer
13 views

Are software-level questions about proof assistants questions on-topic? Like how to install/run/open Coq/Lean?

5 votes
0 answers
40 views

2024 Community Moderator Election Results

0 votes
1 answer
30 views

Hobbled math processing on this site?

0 votes
0 answers
35 views

2024 Community Moderator Election

2 votes
0 answers
34 views

Why are we having an election?

0 votes
0 answers
41 views

Announcing a Pro Tempore election for 2024

0 votes
0 answers
44 views

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

0 votes
0 answers
5 views

2023: a year in moderation

1 vote
0 answers
42 views

Syntax highlighting for Isabelle

3 votes
0 answers
31 views

Are questions about automated theorem provers on topic?

3 votes
0 answers
81 views

New SE site for Programming Language Design

13 votes
1 answer
619 views

How are we doing in beta?

3 votes
0 answers
11 views

2022: a year in moderation

4 votes
0 answers
26 views

On tags for technical support

3 votes
2 answers
106 views

Custom Themes and Icons

4 votes
1 answer
62 views

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

0 votes
0 answers
54 views

Late Answers: How Late is Late?

4 votes
0 answers
38 views

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

3 votes
3 answers
85 views

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

7 votes
2 answers
135 views

User Abusing the System for Homework Problem?

6 votes
0 answers
38 views

Are questions about categorical logic on topic?

9 votes
2 answers
187 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
28 views

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

4 votes
2 answers
53 views

How detailed should tags be?

13 votes
2 answers
180 views

Is this for assistants only, excluding automated provers?

7 votes
0 answers
168 views

2022 Community Moderator Election

10 votes
3 answers
467 views

Candidate changes in 2022 Moderator Election – review your ballot

15 votes
0 answers
249 views

Leaving Private Beta & Initial Pro-Tem Moderator Election!

14 votes
1 answer
160 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
241 views

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

4 votes
1 answer
65 views

Tag for questions about definitions and approach

5 votes
0 answers
116 views

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

12 votes
2 answers
229 views

Syntax highlighting for proof assistants

7 votes
4 answers
167 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
188 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
78 views

Is there a post that compares major proof assistants?

23 votes
1 answer
248 views

Vote Early, Vote Often

6 votes
0 answers
80 views

Should we have a Citation Helper?

-3 votes
1 answer
182 views

How should I format a question correctly?


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