Area 51
user avatar
user avatar
user avatar
ice1000
  • Member for 6 months
  • Last seen more than a month ago
Profile Activity
Stats
381
reputation
3k
reached
3
answers
1
question
Communities
View all
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
16
bronze badges
Top tags
79
Score
4
Posts
100
Posts %
41
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
41
Choosing a name for the Proof Assistants site
Nov 22, 2021
answer
21
Why have a Proof assistants SE site when there are already very active Zulip instances?
Nov 19, 2021
answer
17
What questions on existing SE sites are on proof assistants?
Nov 19, 2021
question
14
What questions on existing SE sites are on proof assistants?
Nov 19, 2021
Top network posts
View all network posts
36
IntelliJ: changing color of an unused variable
33
How to implement this Java interface in Kotlin?
24
What is an algebraic data type?
24
How to apply a patch generated with git format-patch?
20
Are implicit arguments essential to (dependently-typed) proof assistants?

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.