Stack Exchange
log in sign up chat discuss faq users badges

Area 51 » Science

definition commitment beta
415
days in beta
Visit!

Proof Assistants

Beta Q&A site for mathematicians and computer scientists who develop and use proof assistants.

0.4
questions
per day
Needs Work – 10 questions per day on average is a healthy beta, 5 questions or fewer per day needs some work. A healthy site generates lots of good content to make sure users keep coming back.
87%
answered
Okay – 90% answered is a healthy beta, 80% answered needs some work. In the beta it's especially important that when new visitors ask questions they usually get a good answer.
151
avid users
2,235
total users
Excellent – Every site needs a solid group of core users to assist in moderating the site. We recommend:
  • 150 users with 200+ rep (currently 151 users with 200+ rep)
  • 10 users with 2,000+ rep (currently 11 users with 2,000+ rep)
  • 5 users with 3,000+ rep (currently 5 users with 3,000+ rep)
1.7
answer ratio
Okay – 2.5 answers per question is good, only 1 answer per question needs some work. On a healthy site, questions receive multiple answers and the best answer is voted to the top.
64
visits/day
Needs Work – 1,500 visits per day is good, 500 visits per day needs some work. A great site benefits people outside the community. Eventually, 90% of a site's traffic should come from search engines.
Visit the site now!

Top Beta Users

reputation most active
7k
site rep
0
questions
71
answers
profile for Andrej Bauer at Proof Assistants

How to abstract over function...

6k
site rep
10
questions
84
answers
profile for Jason Rute at Proof Assistants

Using the contrapositive in lean 4

5k
site rep
50
questions
33
answers
profile for ice1000 at Proof Assistants

How does the modality-based...

Is the de Morgan interval Kan?

3k
site rep
21
questions
24
answers
profile for Trebor at Proof Assistants

Naive computation of...

Rewrite with definitional...

3k
site rep
3
questions
50
answers
profile for Meven Lennon-Bertrand at Proof Assistants

What are the complex induction...

unexpected inductive type...

3k
site rep
8
questions
19
answers
profile for Mike Shulman at Proof Assistants

Universe inconsistency as an effect

Counterexamples in Type Theory

3k
site rep
16
questions
7
answers
profile for Guy Coder at Proof Assistants

Creating a proof assistant for...

3k
site rep
26
questions
6
answers
profile for Greg Nisbet at Proof Assistants

Has anyone accidentally "proven"...

3k
site rep
34
questions
23
answers
profile for Molossus Spondee at Proof Assistants

Are there any ergonomic ways to...

2k
site rep
0
questions
21
answers
profile for Pierre-Marie Pédrot at Proof Assistants

Stream of all finite prefixes of...

1 2 3 4 5 … 16 next

This site is in

Public Beta

Anyone can participate!

Sites remain in beta for at least 180 days to build up a critical mass of users, questions, and participation.

proposed by

Andrej Bauer
118k●14●322●603

1 year ago

edited by

Henry WH Hack v3.0
9,411●13●69●166

1 year ago

public beta start

1 year ago

private beta start

1 year ago

commitment start

1 year ago

committed users

389 users committed
64.3% signed up for beta
7.7% fulfilled commitment

followers

238 users followed
63% signed up for beta

users also committed to

6.4% Programming Langu...
2.1% Substrate and Pol...
1.8% Matter Modeling
1.8% Cardano
78.9% only this proposal
faq | blog | legal | privacy policy | contact us | feedback always welcome
site design / logo © 2023 Stack Exchange Inc; user contributions licensed under cc by-sa; see the licensing help page for more information.
rev 2023.2.15.615