Skip to main content
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
Moderator
  • Member for 2 years, 3 months
  • Last seen this week
Stats
6,186
reputation
36k
reached
42
answers
53
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 %
51
Score
14
Posts
15
Posts %
23
Score
7
Posts
7
Posts %
16
Score
9
Posts
9
Posts %
16
Score
5
Posts
5
Posts %
14
Score
5
Posts
5
Posts %
Top posts
View all questions and answers