|
301
committed
|
|
174
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 at 22:43
0
referred
427k
total rep
(no comment)
Beginner or Learner
Nov 21 at 5:27
0
referred
375k
total rep
"Not committing, just to receive an email notification when this site opens."
Just Curious
Nov 29 at 0:00
14
referred
190k
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 at 0:15
referred by Andrej Bauer
0
referred
134k
total rep
"I am informally academically curious about proof assistants"
Beginner or Learner
Nov 21 at 4:04
0
referred
101k
total rep
2
referred
89k
total rep
(no comment)
Academic or Research-Level Student
Nov 20 at 23:49
0
referred
87k
total rep
"As a long time user and fan of Agda along with smaller pedagogical proof assistants such as Slate and Fitch, I'm excited about all things proof."
Avid Enthusiast or Prosumer
Nov 20 at 23:03
referred by Andrej Bauer
7
referred
79k
total rep
"I think that a site like this will be a very useful and google-visible resource for undergraduates and other beginners looking for quick answers."
Professional or Expert
Nov 21 at 14:03
referred by Andrej Bauer
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
13 days ago
edited by
committers
first commit
12 days ago
latest commit
today
viewed
7,030 times
users also committed to
83.4% only this proposal
committers active in
committer roles
19.6% Expert
44.5% Academic
16.3% Enthusiast
14.6% Beginner
5.0% Curious
