ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 2 years
  • Last seen more than a week ago
Stats
479
reputation
4k
reached
3
answers
2
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.
3
silver badges
18
bronze badges
Top tags
80
Score
4
Posts
80
Posts %
42
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %