user avatar
user avatar
user avatar
ice1000
  • Member for 6 months
  • Last seen more than a month ago
Stats
381
reputation
3k
reached
3
answers
1
question
Loading…
About

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

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

This user doesn’t have any gold badges yet.
1
silver badge
16
bronze badges
Top tags
79
Score
4
Posts
100
Posts %
41
Score
1
Posts
25
Posts %