Skip to main content
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 6 years, 6 months
  • Last seen more than a month ago
Stats
319
reputation
8k
reached
0
answers
9
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.
6
silver badges
13
bronze badges
Top tags
0
Score
4
Posts
44
Posts %
0
Score
3
Posts
33
Posts %
0
Score
2
Posts
22
Posts %
0
Score
2
Posts
22
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
Top posts