ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 1 year, 10 months
  • Last seen this week
Stats
5,877
reputation
31k
reached
38
answers
51
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.
9
silver badges
59
bronze badges
63
Score
20
Posts
22
Posts %
49
Score
13
Posts
15
Posts %
22
Score
7
Posts
8
Posts %
15
Score
5
Posts
6
Posts %
14
Score
7
Posts
8
Posts %
13
Score
5
Posts
6
Posts %
Top posts
View all questions and answers