Chinese Language
ice1000
Profile Activity
Stats
255
reputation
11k
reached
0
answers
6
questions
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

Communities (23)

Top network posts

This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
View all badges

Top tags (8)

Score 0
Posts 2
Posts % 33
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (6)

All Questions Answers
Votes Newest
5 What does "死党" mean? Dec 16 '17
4 How can I search for a Chinese character when I see it on a picture? Dec 17 '17
3 What's the difference between "博物馆长" and "博物馆馆长"? Dec 17 '17
2 What does "悠" mean in "悠久"? Dec 13 '17
1 Why "Lie to me" is translated as "别对我说谎"? Dec 13 '17
-3 What does "淦" mean? [closed] Dec 22 '17

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.