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

13 votes
1 answer
545 views

How are we doing in beta?

2 votes
2 answers
93 views

Custom Themes and Icons

3 votes
1 answer
48 views

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

0 votes
0 answers
38 views

Late Answers: How Late is Late?

4 votes
0 answers
33 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
16 views

Code Reviews on topic?

5 votes
2 answers
114 views

User Abusing the System for Homework Problem?

5 votes
0 answers
30 views

Are questions about categorical logic on topic?

9 votes
2 answers
124 views

Enabling syntax highlighting of Lean and Coq

4 votes
0 answers
39 views

How to write a tag wiki excerpt?

3 votes
0 answers
26 views

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

4 votes
2 answers
46 views

How detailed should tags be?

13 votes
2 answers
141 views

Is this for assistants only, excluding automated provers?

7 votes
0 answers
165 views

2022 Community Moderator Election

10 votes
3 answers
449 views

Candidate changes in 2022 Moderator Election – review your ballot

16 votes
0 answers
241 views

Leaving Private Beta & Initial Pro-Tem Moderator Election!

14 votes
1 answer
152 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
233 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
110 views

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

13 votes
2 answers
208 views

Syntax highlighting for proof assistants

7 votes
4 answers
154 views

Policy on self-answers

0 votes
0 answers
27 views

Reputation Error on Main Reputation Site

-4 votes
3 answers
141 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
183 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
33 views

Is there a post that compares major proof assistants?

24 votes
1 answer
243 views

Vote Early, Vote Often

7 votes
0 answers
72 views

Should we have a Citation Helper?

-2 votes
1 answer
180 views

How should I format a question correctly?

2 votes
0 answers
27 views

Tags concerning variables and bindings

12 votes
9 answers
378 views

What should the name of our main chatroom be?

13 votes
0 answers
174 views

Ways to participate

4 votes
1 answer
94 views

Site incorrectly shows that I have modified questions

4 votes
1 answer
48 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
66 views

Policies on answers porting code

5 votes
1 answer
64 views

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

6 votes
1 answer
96 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
80 views

Can I forward questions here from other SE sites?

5 votes
0 answers
101 views

Making / keeping the site expert friendly

4 votes
1 answer
38 views

Is it possible to transfer my questions from other SE sites? [duplicate]

15 votes
1 answer
108 views

Low-quality tags


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