ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 5 years, 1 month
  • Last seen more than a week ago
Stats
965
reputation
7k
reached
14
answers
6
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.
4
silver badges
22
bronze badges
32
Score
15
Posts
75
Posts %
18
Score
13
Posts
65
Posts %
10
Score
3
Posts
15
Posts %
6
Score
3
Posts
15
Posts %
5
Score
3
Posts
15
Posts %
5
Score
2
Posts
10
Posts %
Top posts
View all questions and answers