ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 2 years, 2 months
  • Last seen this week
Stats
6,144
reputation
35k
reached
42
answers
52
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.
10
silver badges
61
bronze badges
71
Score
22
Posts
23
Posts %
50
Score
14
Posts
15
Posts %
23
Score
7
Posts
7
Posts %
16
Score
8
Posts
9
Posts %
16
Score
5
Posts
5
Posts %
14
Score
5
Posts
5
Posts %
Top posts
View all questions and answers