Proof Assistants Meta Stack Exchange is a question and answer site for mathematicians and computer scientists who develop and use proof assistants. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top

Top Questions

1 vote
0 answers
5 views

New SE site for Programming Language Design

0 votes
0 answers
5 views

2022: a year in moderation

1 vote
0 answers
17 views

On tags for technical support

13 votes
1 answer
588 views

How are we doing in beta?

3 votes
2 answers
103 views

Custom Themes and Icons

3 votes
1 answer
52 views

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

0 votes
0 answers
47 views

Late Answers: How Late is Late?

4 votes
0 answers
34 views

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

4 votes
3 answers
81 views

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

2 votes
0 answers
17 views

Code Reviews on topic?

5 votes
2 answers
120 views

User Abusing the System for Homework Problem?

5 votes
0 answers
31 views

Are questions about categorical logic on topic?

9 votes
2 answers
131 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
49 views

How detailed should tags be?

13 votes
2 answers
146 views

Is this for assistants only, excluding automated provers?

7 votes
0 answers
166 views

2022 Community Moderator Election

10 votes
3 answers
452 views

Candidate changes in 2022 Moderator Election – review your ballot

16 votes
0 answers
243 views

Leaving Private Beta & Initial Pro-Tem Moderator Election!

14 votes
1 answer
154 views

2022 Community Moderator Election Results

4 votes
2 answers
108 views

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

17 votes
0 answers
237 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
112 views

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

13 votes
2 answers
208 views

Syntax highlighting for proof assistants

8 votes
4 answers
161 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
60 views

I still have access to the review queues

9 votes
2 answers
184 views

Administrators and Permissions

2 votes
2 answers
64 views

How to get more daily views?

2 votes
1 answer
36 views

Redirected to page announcing PA private beta?

2 votes
0 answers
34 views

Is there a post that compares major proof assistants?

24 votes
1 answer
244 views

Vote Early, Vote Often

7 votes
0 answers
78 views

Should we have a Citation Helper?

-2 votes
1 answer
181 views

How should I format a question correctly?

2 votes
0 answers
27 views

Tags concerning variables and bindings

12 votes
9 answers
386 views

What should the name of our main chatroom be?

13 votes
0 answers
175 views

Ways to participate

4 votes
1 answer
95 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

4 votes
1 answer
102 views

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

4 votes
1 answer
67 views

Policies on answers porting code

5 votes
1 answer
65 views

Should "Proof Assistants for Vim Users" be made community wiki?

6 votes
1 answer
97 views

Not correct to say that lean community is mostly mathematicians

4 votes
2 answers
104 views

Should we allow Rosetta-Stone style questions?

5 votes
3 answers
81 views

Can I forward questions here from other SE sites?


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