Stats
479
reputation
4k
reached
3
answers
2
questions
Loading…
About
I'm into univalent type systems. Worked on Agda and Arend, working on Aya.
- Profile: https://personal.psu.edu/yqz5714
- Aya website: https://www.aya-prover.org
Visit count (since 23 Feb 2023):
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
-
Good AnswerNov 24, 2021
-
Yearling
× 2Nov 19
18
bronze badges
-
MortarboardNov 20, 2021
-
Announcer
× 3Feb 2, 2022 -
Popular QuestionApr 19
Top tags
80
Score
4
Posts
80
Posts %
42
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top network posts
View all network posts