Mathematics
Kelly's user avatar
Kelly's user avatar
Kelly's user avatar
Kelly
  • Member for 3 years, 5 months
  • Last seen more than 2 years ago
Profile Activity
Stats
581
reputation
2k
reached
0
answers
12
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
0
Score
11
Posts
92
Posts %
0
Score
6
Posts
50
Posts %
0
Score
5
Posts
42
Posts %
0
Score
3
Posts
25
Posts %
0
Score
3
Posts
25
Posts %
0
Score
3
Posts
25
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
A question about intuitionistic logic
Dec 29, 2020
question
6
Disjoint union types in MLTT
Jan 23, 2021
question
5
Identity type and its negation
Nov 25, 2020
question
4
Converse of Deduction Theorem
Jul 29, 2020
question
4
Proof-irrelevance of identity types
Aug 23, 2020
question
4
''$\Gamma\vdash A\ \textrm{true}$'' in Martin-Löf type theory
Oct 6, 2020
question
3
Proof-irrelevant $\exists$
Jul 6, 2020
question
3
$\neg\neg$-Stability
Jul 10, 2020
question
3
The interpretation of $\nvdash$
Aug 9, 2020
question
3
First-order de Morgan's laws for $\nvdash$
Oct 24, 2020

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.