683
reputation
2
4

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

1
answer
0
questions
0
people reached

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1)

Badges (6)

Gold

Silver

2

Rarest

Bronze

4

Rarest