Stack Exchange
log in sign up chat discuss faq users badges

Area 51 » Science

definition commitment beta
480
days in beta
Visit!

Proof Assistants

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

0.8
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.
85%
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.
155
avid users
2,397
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 155 users with 200+ rep)
  • 10 users with 2,000+ rep (currently 12 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.
57
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
1
question
79
answers
profile for Andrej Bauer at Proof Assistants

Speeding up large data structures...

Recursive definition of a sum of...

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

Is it possible to make a proof...

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

How does the modality-based...

3k
site rep
22
questions
30
answers
profile for Trebor at Proof Assistants

Semantics of type theory

How do we know that we can trust...

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

Inspecting proof terms in Agda

Can Coq grab some data over HTTP...

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

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 Molly Stewart-Gallus 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
119k●14●325●610

1 year ago

edited by

Henry WH Hack v3.0
9,440●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.7% Programming Langu...
2.1% Substrate and Pol...
1.8% Matter Modeling
1.8% Cardano
78.7% 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.5.16.617