Proof Assistants Meta
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 1 year, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
5,484
reputation
76
reached
0
answers
2
questions
Communities
View all
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
5
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
4
How detailed should tags be?
Apr 29, 2022
question
3
Should I create tags for common components in proof assistant implementations?
Apr 29, 2022
Top network posts
View all network posts
39
IntelliJ: changing color of an unused variable
36
How to implement this Java interface in Kotlin?
27
What is an algebraic data type?
26
How to apply a patch generated with git format-patch?
21
Is there Multimap in Kotlin?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.