Area 51
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 2 years
  • Last seen more than a week ago
Profile Activity
Stats
479
reputation
4k
reached
3
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
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
18
bronze badges
Top tags
80
Score
4
Posts
80
Posts %
42
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
42
Choosing a name for the Proof Assistants site
Nov 22, 2021
answer
21
Why have a Proof assistants SE site when there are already very active Zulip instances?
Nov 19, 2021
answer
17
What questions on existing SE sites are on proof assistants?
Nov 19, 2021
question
14
What questions on existing SE sites are on proof assistants?
Nov 19, 2021
question
12
What is a programming language?
Feb 6
Top network posts
View all network posts
41
IntelliJ: changing color of an unused variable
39
What are different ways of handling runtime errors?
36
How to implement this Java interface in Kotlin?
35
Why do some programming languages choose to have a dedicated keyword for elseif instead of using else + if like in C?
31
What are the drawbacks of using indentation for code blocks?

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.