Skip to main content
Share Your Experience: Take the 2024 Developer Survey
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 6 years, 6 months
  • Last seen this week
Stats
950
reputation
16k
reached
5
answers
19
questions
Loading…
About

I'm into univalent type systems. Worked on Agda and Arend, working on Aya.

Visit count (since 23 Feb 2023):

This user doesn’t have any gold badges yet.
6
silver badges
35
bronze badges
6
Score
3
Posts
12
Posts %
4
Score
2
Posts
8
Posts %
4
Score
2
Posts
8
Posts %
3
Score
3
Posts
12
Posts %
3
Score
3
Posts
12
Posts %
3
Score
2
Posts
8
Posts %
Top posts
View all questions and answers