Skip to main content
Proof Assistants Meta

Top Questions

Ask Question
Active Hot Week Month
5 votes
1 answer
26 views

Code Reviews on topic?

Community's user avatar
CommunityBot
  • 1
0 votes
2 answers
32 views

Are we out of beta yet?

Community's user avatar
CommunityBot
  • 1
0 votes
1 answer
15 views

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

Couchy's user avatar
Couchy
  • 2,300
6 votes
0 answers
41 views

2024 Community Moderator Election Results

SpencerG's user avatar
SpencerGStaffMod
  • 101
0 votes
1 answer
31 views

Hobbled math processing on this site?

Nike Dattani's user avatar
Nike Dattani
  • 1,165
0 votes
0 answers
36 views

2024 Community Moderator Election

Community's user avatar
CommunityBot
  • 1
2 votes
0 answers
35 views

Why are we having an election?

Nike Dattani's user avatar
Nike Dattani
  • 1,165
0 votes
0 answers
42 views

Announcing a Pro Tempore election for 2024

SpencerG's user avatar
SpencerGStaffMod
  • 101
0 votes
0 answers
49 views

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

ice1000's user avatar
ice1000Mod
  • 6,316
0 votes
0 answers
5 views

2023: a year in moderation

JNat's user avatar
JNatStaffMod
  • 101
1 vote
0 answers
42 views

Syntax highlighting for Isabelle

V2Blast's user avatar
V2Blast
  • 101
3 votes
0 answers
33 views

Are questions about automated theorem provers on topic?

Bruce Adams's user avatar
Bruce Adams
  • 151
3 votes
0 answers
82 views

New SE site for Programming Language Design

Trebor's user avatar
TreborMod
  • 4,025
13 votes
1 answer
619 views

How are we doing in beta?

Nike Dattani's user avatar
Nike Dattani
  • 1,165
3 votes
0 answers
11 views

2022: a year in moderation

JNat's user avatar
JNatStaffMod
  • 101
4 votes
0 answers
26 views

On tags for technical support

Trebor's user avatar
TreborMod
  • 4,025
3 votes
2 answers
106 views

Custom Themes and Icons

Rob's user avatar
Rob
  • 242
4 votes
1 answer
62 views

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

taylor.2317's user avatar
taylor.2317
  • 1,338
0 votes
0 answers
54 views

Late Answers: How Late is Late?

taylor.2317's user avatar
taylor.2317
  • 1,338
4 votes
0 answers
38 views

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

taylor.2317's user avatar
taylor.2317
  • 1,338
3 votes
3 answers
85 views

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

V2Blast's user avatar
V2Blast
  • 101
7 votes
2 answers
135 views

User Abusing the System for Homework Problem?

taylor.2317's user avatar
taylor.2317
  • 1,338
6 votes
0 answers
38 views

Are questions about categorical logic on topic?

Nico's user avatar
Nico
  • 722
9 votes
2 answers
194 views

Enabling syntax highlighting of Lean and Coq

Eric's user avatar
EricMod
  • 971
4 votes
0 answers
40 views

How to write a tag wiki excerpt?

Couchy's user avatar
Couchy
  • 2,300
3 votes
0 answers
28 views

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

Eric's user avatar
EricMod
  • 971
4 votes
2 answers
53 views

How detailed should tags be?

Guy Coder's user avatar
Guy Coder
  • 2,846
13 votes
2 answers
182 views

Is this for assistants only, excluding automated provers?

taylor.2317's user avatar
taylor.2317
  • 1,338
7 votes
0 answers
168 views

2022 Community Moderator Election

taylor.2317's user avatar
taylor.2317
  • 1,338
10 votes
3 answers
467 views

Candidate changes in 2022 Moderator Election – review your ballot

JNat's user avatar
JNatStaffMod
  • 101
15 votes
0 answers
249 views

Leaving Private Beta & Initial Pro-Tem Moderator Election!

JNat's user avatar
JNatStaffMod
  • 101
14 votes
1 answer
160 views

2022 Community Moderator Election Results

hardmath's user avatar
hardmath
  • 541
4 votes
2 answers
113 views

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

Samuel Liew's user avatar
Samuel Liew
  • 101
16 votes
0 answers
241 views

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

taylor.2317's user avatar
taylor.2317
  • 1,338
4 votes
1 answer
66 views

Tag for questions about definitions and approach

Bubbler's user avatar
Bubbler
  • 684
5 votes
0 answers
116 views

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

V2Blast's user avatar
V2Blast
  • 101
12 votes
2 answers
230 views

Syntax highlighting for proof assistants

V2Blast's user avatar
V2Blast
  • 101
7 votes
4 answers
167 views

Policy on self-answers

V2Blast's user avatar
V2Blast
  • 101
0 votes
0 answers
27 views

Reputation Error on Main Reputation Site

taylor.2317's user avatar
taylor.2317
  • 1,338
-4 votes
3 answers
143 views

Vote to Migrate suggestion: Stack overflow

taylor.2317's user avatar
taylor.2317
  • 1,338
3 votes
0 answers
61 views

I still have access to the review queues

Henry WH Hack v3.0's user avatar
Henry WH Hack v3.0
  • 101
8 votes
2 answers
188 views

Administrators and Permissions

taylor.2317's user avatar
taylor.2317
  • 1,338
2 votes
2 answers
68 views

How to get more daily views?

V2Blast's user avatar
V2Blast
  • 101
2 votes
1 answer
38 views

Redirected to page announcing PA private beta?

Nike Dattani's user avatar
Nike Dattani
  • 1,165
2 votes
0 answers
86 views

Is there a post that compares major proof assistants?

taylor.2317's user avatar
taylor.2317
  • 1,338
23 votes
1 answer
248 views

Vote Early, Vote Often

taylor.2317's user avatar
taylor.2317
  • 1,338
6 votes
0 answers
81 views

Should we have a Citation Helper?

taylor.2317's user avatar
taylor.2317
  • 1,338
-3 votes
1 answer
182 views

How should I format a question correctly?

taylor.2317's user avatar
taylor.2317
  • 1,338

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