479
reputation
59 views
discussion user
network profile

Registered User

name ice1000
member for 2 years
seen May 18 at 22:09
website
location Pennsylvania, USA

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


0

Current Commitments


2

Fulfilled Commitments

662
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta
200
days

Programming Language Design and Implementation

For designers and implementers of computer programming languages
define
commit
public beta

0

Followed


8

Votes Cast

7 up

1 down