user avatar
user avatar
user avatar
ice1000
  • Member for 4 years, 9 months
  • Last seen more than a month ago
Stats
888
reputation
13k
reached
5
answers
19
questions
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.
6
silver badges
32
bronze badges
5
Score
3
Posts
12
Posts %
4
Score
2
Posts
8
Posts %
4
Score
2
Posts
8
Posts %
3
Score
3
Posts
12
Posts %
3
Score
3
Posts
12
Posts %
3
Score
2
Posts
8
Posts %
Top posts
View all questions and answers