|
377
committed
|
|
183
referred
1.1m
total rep
"I do research in proof assistants and have experience with formalized mathematics. I believe this is the future of mathematics."
Professional or Expert
Nov 20 '21 at 22:43
39
referred
1.1m
total rep
(no comment)
Academic or Research-Level Student
Nov 20 '21 at 23:49
0
referred
437k
total rep
(no comment)
Beginner or Learner
Nov 21 '21 at 5:27
0
referred
382k
total rep
"Not committing, just to receive an email notification when this site opens."
Just Curious
Nov 29 '21 at 0:00
15
referred
192k
total rep
"I am a PhD Student in Programming Languages. I am sure that I will have many questions, and a few answers, for this site."
Academic or Research-Level Student
Nov 21 '21 at 0:15
referred by Andrej Bauer
0
referred
181k
total rep
0
referred
134k
total rep
"I am informally academically curious about proof assistants"
Beginner or Learner
Nov 21 '21 at 4:04
0
referred
111k
total rep
0
referred
101k
total rep
This proposal is in:
Commitment
A successful site needs people to commit to use it. This proposal is
100%
complete. Committed users will be invited to the private beta soon.
proposed by
2 months ago
edited by
committers
first commit
2 months ago
latest commit
today
viewed
10,431 times
users also committed to
81.4% only this proposal
committers active in
committer roles
17.2% Expert
40.6% Academic
17.5% Enthusiast
16.4% Beginner
8.2% Curious
