ice1000
  • Member for 3 years, 11 months
  • Last seen more than a month ago
Stats
317
reputation
6k
reached
0
answers
8
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.
5
silver badges
12
bronze badges
Top tags
0
Score
3
Posts
38
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %