Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
ice1000
  • Member for 4 years, 9 months
  • Last seen more than a month ago
Stats
282
reputation
7k
reached
3
answers
7
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.
3
silver badges
18
bronze badges
5
Score
10
Posts
100
Posts %
2
Score
1
Posts
10
Posts %
2
Score
1
Posts
10
Posts %
1
Score
5
Posts
50
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %