Skip to main content
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 5 years, 7 months
  • Last seen more than 2 years ago
Stats
965
reputation
0
reached
1
answer
0
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
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
answer
0
May 24, 2021