ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 9 months
  • Last seen this week
Stats
2,384
reputation
17k
reached
30
answers
8
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
27
bronze badges
94
Score
7
Posts
18
Posts %
86
Score
4
Posts
11
Posts %
47
Score
2
Posts
5
Posts %
47
Score
2
Posts
5
Posts %
35
Score
8
Posts
21
Posts %
19
Score
2
Posts
5
Posts %
Top posts
View all questions and answers