683
reputation
2
18

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

12
answers
4
questions
~4k
people reached

Top tags (9)

Score 26
Posts 13
Posts % 81
Score 14
Posts 9
Score 6
Posts 3
Score 5
Posts 3
Score 5
Posts 3
Score 4
Posts 2

Top posts (16)

View all questions and answers

Badges (20)

Gold

Silver

2

Rarest

Bronze

18

Rarest