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

0 votes
0 answers
3 views

Code Reviews on topic?

4 votes
0 answers
22 views

Renaming [tag:extensional-equality] to [tag:extensional-type-theory]

1 vote
2 answers
55 views

Custom Themes and Icons

12 votes
1 answer
479 views

How are we doing in beta?

4 votes
3 answers
72 views

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

4 votes
0 answers
26 views

Are questions about categorical logic on topic?

9 votes
2 answers
118 views

Enabling syntax highlighting of Lean and Coq

4 votes
0 answers
38 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
133 views

Is this for assistants only, excluding automated provers?

7 votes
0 answers
164 views

2022 Community Moderator Election

10 votes
3 answers
436 views

Candidate changes in 2022 Moderator Election – review your ballot

16 votes
0 answers
236 views

Leaving Private Beta & Initial Pro-Tem Moderator Election!

14 votes
1 answer
146 views

2022 Community Moderator Election Results

4 votes
2 answers
107 views

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

17 votes
0 answers
230 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
109 views

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

13 votes
2 answers
204 views

Syntax highlighting for proof assistants

7 votes
4 answers
147 views

Policy on self-answers

0 votes
0 answers
26 views

Reputation Error on Main Reputation Site

-4 votes
3 answers
139 views

Vote to Migrate suggestion: Stack overflow

3 votes
0 answers
59 views

I still have access to the review queues

9 votes
2 answers
180 views

Administrators and Permissions

2 votes
2 answers
63 views

How to get more daily views?

2 votes
1 answer
36 views

Redirected to page announcing PA private beta?

2 votes
0 answers
31 views

Is there a post that compares major proof assistants?

24 votes
1 answer
239 views

Vote Early, Vote Often

7 votes
0 answers
72 views

Should we have a Citation Helper?

-2 votes
1 answer
179 views

How should I format a question correctly?

2 votes
0 answers
27 views

Tags concerning variables and bindings

12 votes
9 answers
371 views

What should the name of our main chatroom be?

13 votes
0 answers
173 views

Ways to participate

4 votes
1 answer
93 views

Site incorrectly shows that I have modified questions

4 votes
1 answer
47 views

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

4 votes
1 answer
100 views

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

4 votes
1 answer
65 views

Policies on answers porting code

5 votes
1 answer
63 views

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

6 votes
1 answer
94 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
75 views

Can I forward questions here from other SE sites?

5 votes
0 answers
100 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
106 views

Low-quality tags

6 votes
1 answer
50 views

Good "What is an X" questions & good answers to them

7 votes
2 answers
66 views

Removing the [recommendations] tag

6 votes
2 answers
133 views

Why is a question about dependent type theory off topic?


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