317
reputation
4
11

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

0
answers
8
questions
~6k
people reached

Top tags (6)

Score 0
Posts 3
Posts % 38
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (8)

Badges (15)

Gold

Silver

4

Rarest

Bronze

11

Rarest