Skip to main content
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 6 years, 5 months
  • Last seen more than 4 years ago
Stats
265
reputation
0
reached
0
answers
0
questions
Loading…
About

I'm into univalent type systems. Worked on Agda and Arend, working on Aya.

Visit count (since 23 Feb 2023):

Badges
This user doesn’t have any gold badges yet.
1
silver badge
2
bronze badges
Posts

This user hasn’t posted yet.