| 389 committed | |
This proposal is now in the Beta phase — no more commitments accepted!
0
referred
1k
total rep
"Proof assistants are a few of my favorite things!"
Avid Enthusiast or Prosumer
Feb 4 '22 at 4:50
referred by Andrej Bauer
0
referred
395k
total rep
(no comment)
Academic or Research-Level Student
Feb 2 '22 at 15:37
0
referred
51
total rep
0
referred
20k
total rep
"I have taken a course on Proof assistants (mainly in Coq) by Herman Geuvers, and have done a research project supervised by him and Tim Willemse."
Academic or Research-Level Student
Feb 1 '22 at 11:13
0
referred
38k
total rep
"I'm pretty familiar with prover9, specifically mace4. I'm interested in learning more about Coq, Lean, ACL2, and other provers I've heard about."
Beginner or Learner
Feb 1 '22 at 3:42
0
referred
7k
total rep
"I am learning about type theory and proof assistants right now. "
Academic or Research-Level Student
Jan 30 '22 at 8:25
referred by Nike Dattani
0
referred
51
total rep
0
referred
1k
total rep
"Research interest in HoTT. Would like to look into implementations such as cubical Agda."
Academic or Research-Level Student
Jan 29 '22 at 4:26
referred by Nike Dattani
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
4 years ago
edited by
committers
first commit
4 years ago
latest commit
3 years ago
viewed
20,015 times
users also committed to
78.9% only this proposal
committers active in
committer roles
16.7% Expert
40.6% Academic
17.5% Enthusiast
17.2% Beginner
7.7% Curious