ice1000
Stats
811
reputation
5k
reached
14
answers
5
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
21
bronze badges
27
Score
15
Posts
79
Posts %
18
Score
12
Posts
63
Posts %
6
Score
3
Posts
16
Posts %
5
Score
3
Posts
16
Posts %
5
Score
3
Posts
16
Posts %
5
Score
2
Posts
11
Posts %
Top posts
View all questions and answers