Skip to main content
Proof Assistants Beta
KANG Rongji's user avatar
KANG Rongji's user avatar
KANG Rongji's user avatar
KANG Rongji
  • Member for 2 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
680
reputation
2k
reached
2
answers
4
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
3
Score
3
Posts
50
Posts %
Top posts
question
18
Is there computational interpretation for countable choice?
Mar 10, 2022
question
13
Does the canonicity of natural number imply that of all types?
Mar 10, 2022
question
8
Is there a proof assistant supporting double negation modality?
Mar 26, 2022
question
8
Is there any universe polymorphic version of univalence?
Feb 22, 2022
answer
5
Algorithms obtained through constructive formalization
Mar 21, 2022
answer
3
Does cubical canonicity imply closed version of regularity?
Jul 19, 2022