575
reputation
2
17

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

9
answers
3
questions
~2k
people reached

Top tags (9)

Score 19
Posts 10
Posts % 83
Score 9
Posts 7
Score 6
Posts 3
Score 5
Posts 3
Score 2
Posts 1
Score 1
Posts 1

Top posts (12)

View all questions and answers

Badges (19)

Gold

Silver

2

Rarest

Bronze

17

Rarest