Area 51 » ice1000
|
Registered User
|
I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position. Profile: https://personal.psu.edu/yqz5714 |
0 |
Proposals |
1 |
Current Commitment |
163
committed
Programming Language Design and Implementation
For designers and implementers of computer programming languages1 |
Fulfilled Commitment |
415
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.1 |
Followed |
163
committed
Programming Language Design and Implementation
For designers and implementers of computer programming languages8 | Votes Cast |
7 up
1 down