ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 1 year, 1 month
  • Last seen this week
Stats
5,424
reputation
22k
reached
33
answers
50
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.
8
silver badges
53
bronze badges
60
Score
20
Posts
24
Posts %
48
Score
13
Posts
16
Posts %
22
Score
7
Posts
8
Posts %
15
Score
5
Posts
6
Posts %
13
Score
6
Posts
7
Posts %
7
Score
12
Posts
14
Posts %
Top posts
View all questions and answers