856
reputation
5
31

ice1000
Loading…

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

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

5
answers
19
questions
~10k
people reached

Top tags (29)

Score 4
Posts 3
Posts % 12
Score 4
Posts 2
Score 4
Posts 2
Score 3
Posts 3
Score 3
Posts 3
Score 3
Posts 2

Top posts (24)

View all questions and answers

Badges (36)

Gold

Silver

5

Rarest

Bronze

31

Rarest