Skip to main content
Proof Assistants Meta

Top Questions

Ask Question
Active Hot Week Month
2 votes
1 answer
19 views

Should we revert back a user’s posts if they intentionally vandalized their own post

Trebor's user avatar
TreborMod
  • 4,484
1 vote
1 answer
95 views

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

Meven Lennon-Bertrand's user avatar
Meven Lennon-BertrandMod
  • 6,342
1 vote
0 answers
7 views

2024: a year in moderation

JNat's user avatar
JNatStaffMod
  • 101
1 vote
1 answer
35 views

Should we get rid of the beginner tag?

ice1000's user avatar
ice1000Mod
  • 6,736
6 votes
1 answer
35 views

Code Reviews on topic?

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

Are we out of beta yet?

Community's user avatar
CommunityBot
  • 1
0 votes
1 answer
23 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,574
6 votes
0 answers
51 views

2024 Community Moderator Election Results

Hoid's user avatar
HoidStaffMod
  • 101
0 votes
1 answer
40 views

Hobbled math processing on this site?

Nike Dattani's user avatar
Nike Dattani
  • 1,205
0 votes
0 answers
37 views

2024 Community Moderator Election

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

Why are we having an election?

Nike Dattani's user avatar
Nike Dattani
  • 1,205
0 votes
0 answers
45 views

Announcing a Pro Tempore election for 2024

Hoid's user avatar
HoidStaffMod
  • 101
0 votes
0 answers
6 views

2023: a year in moderation

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

Syntax highlighting for Isabelle

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

Are questions about automated theorem provers on topic?

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

New SE site for Programming Language Design

Trebor's user avatar
TreborMod
  • 4,484
13 votes
1 answer
625 views

How are we doing in beta?

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

2022: a year in moderation

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

On tags for technical support

Trebor's user avatar
TreborMod
  • 4,484
3 votes
2 answers
107 views

Custom Themes and Icons

Rob's user avatar
Rob
  • 262
4 votes
1 answer
63 views

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

taylor.2317's user avatar
taylor.2317
  • 1,378
0 votes
0 answers
55 views

Late Answers: How Late is Late?

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

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

taylor.2317's user avatar
taylor.2317
  • 1,378
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
137 views

User Abusing the System for Homework Problem?

taylor.2317's user avatar
taylor.2317
  • 1,378
6 votes
0 answers
41 views

Are questions about categorical logic on topic?

Nico's user avatar
Nico
  • 752
9 votes
2 answers
219 views

Enabling syntax highlighting of Lean and Coq

Eric's user avatar
Eric
  • 981
4 votes
0 answers
42 views

How to write a tag wiki excerpt?

Couchy's user avatar
Couchy
  • 2,574
3 votes
0 answers
30 views

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

Eric's user avatar
Eric
  • 981
4 votes
2 answers
57 views

How detailed should tags be?

Guy Coder's user avatar
Guy Coder
  • 2,876
13 votes
2 answers
192 views

Is this for assistants only, excluding automated provers?

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

2022 Community Moderator Election

taylor.2317's user avatar
taylor.2317
  • 1,378
10 votes
3 answers
469 views

Candidate changes in 2022 Moderator Election – review your ballot

JNat's user avatar
JNatStaffMod
  • 101
15 votes
0 answers
252 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
243 views

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

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

Tag for questions about definitions and approach

Bubbler's user avatar
Bubbler
  • 716
5 votes
0 answers
121 views

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

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

Syntax highlighting for proof assistants

V2Blast's user avatar
V2Blast
  • 101
7 votes
4 answers
170 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,378
-4 votes
3 answers
143 views

Vote to Migrate suggestion: Stack overflow

taylor.2317's user avatar
taylor.2317
  • 1,378
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
190 views

Administrators and Permissions

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

How to get more daily views?

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

Redirected to page announcing PA private beta?

Nike Dattani's user avatar
Nike Dattani
  • 1,205
3 votes
0 answers
142 views

Is there a post that compares major proof assistants?

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

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