People who code: we want your input. Take the Survey
125
reputation
8

ice1000

I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.

Profile: https://personal.psu.edu/yqz5714

1
answer
1
question
~8k
people reached

Top tags (2)

Score 2
Posts 2
Score 0
Posts 1

Top posts (2)

Badges (8)

Gold

Silver

Bronze

8

Rarest