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
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
-
Good AnswerNov 24
16
bronze badges
-
MortarboardNov 20
-
Announcer
× 3Feb 2 -
Self-LearnerNov 20
Top tags
79
Score
4
Posts
100
Posts %
41
Score
1
Posts
25
Posts %
Top network posts
View all network posts