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, 7 months
  • Last seen more than 3 years ago
About

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

Visit count (since 23 Feb 2023):

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges
Top tags
2
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
Top posts