Skip to main content
Proof Assistants Meta
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
Moderator
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
6,316
reputation
171
reached
1
answer
4
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
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
1
Score
5
Posts
100
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
Top posts
4
How detailed should tags be?
Apr 29, 2022
3
Should I create tags for common components in proof assistant implementations?
Apr 29, 2022
1
Code Reviews on topic?
Apr 25
0
What do we do about the Coq tag wrt the rename to Rocq?
Feb 8
0
Are software-level questions about proof assistants questions on-topic? Like how to install/run/open Coq/Lean?
Apr 25
Top network posts
View all network posts
41
IntelliJ: changing color of an unused variable
41
Why do some PL choose to have a dedicated keyword for elseif instead of like in C?
39
What are different ways of handling runtime errors?
36
How to implement this Java interface in Kotlin?
31
What are the drawbacks of using indentation for code blocks?