282
reputation
3
17

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

3
answers
7
questions
~6k
people reached

Top tags (10)

Score 5
Posts 10
Posts % 100
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 5
Score 0
Posts 2
Score 0
Posts 2

Top posts (10)

Badges (20)

Gold

Silver

3

Rarest

Bronze

17

Rarest