Stack Exchange
log in sign up chat discuss faq users badges

Area 51 » Science

definition commitment beta
109
days in beta
Visit!

Proof Assistants

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

1
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.
90%
answered
Excellent – 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.
123
avid users
1,354
total users
Okay – Every site needs a solid group of core users to assist in moderating the site. We recommend:
  • 150 users with 200+ rep (currently 123 users with 200+ rep)
  • 10 users with 2,000+ rep (currently 7 users with 2,000+ rep)
  • 5 users with 3,000+ rep (currently 3 users with 3,000+ rep)
1.8
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.
80
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
5k
site rep
0
questions
44
answers
profile for Andrej Bauer at Proof Assistants

I'm stuck trying to prove ∀x : ℕ,...

4k
site rep
33
questions
22
answers
profile for ice1000 at Proof Assistants

Does ST$\lambda$C equal to simple...

Case splitting with quotient...

3k
site rep
7
questions
33
answers
profile for Jason Rute at Proof Assistants

What are good examples of April...

auto-generating the proof of...

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

Explanation of Coq math-comp...

What provers are using quote,...

2k
site rep
26
questions
5
answers
profile for Greg Nisbet at Proof Assistants

Understanding the complete...

Integration of proof assistants...

2k
site rep
13
questions
13
answers
profile for Trebor at Proof Assistants

Normalization by evaluation for...

What are instances of a dependent...

2k
site rep
3
questions
16
answers
profile for Mike Shulman at Proof Assistants

Tutorial implementations of NbE

Has anyone ever accidentally...

2k
site rep
1
question
24
answers
profile for Meven Lennon-Bertrand at Proof Assistants

What are the differences between...

Can a Prop show that all entries...

2k
site rep
18
questions
14
answers
profile for Molossus Spondee at Proof Assistants

Is there any work on the use of...

Coq defining a hierarchy of...

2k
site rep
2
questions
9
answers
profile for Kevin Buzzard at Proof Assistants

auto-generating the proof of...

What are the pros and cons of...

1 2 3 4 5 … 13 next

This site is in

Public Beta

Anyone can participate!

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

proposed by

Andrej Bauer
112k●13●302●578

6 months ago

edited by

Henry WH Hack v3.0b
8,821●13●65●156

6 months ago

public beta start

2 months ago

private beta start

3 months ago

commitment start

6 months ago

committed users

388 users committed
65.2% signed up for beta
6.7% fulfilled commitment

followers

238 users followed
62.6% signed up for beta

users also committed to

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