Skip to main content
Proof Assistants Beta
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 2 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
2,053
reputation
9k
reached
17
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
17
bronze badges
Top tags
View all tags
73
Score
7
Posts
39
Posts %
37
Score
4
Posts
22
Posts %
28
Score
2
Posts
11
Posts %
27
Score
2
Posts
11
Posts %
27
Score
2
Posts
11
Posts %
24
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
question
22
Programming language metatheory in Lean 4?
Feb 10, 2022
answer
22
What are the differences between MLTT and CIC?
Feb 10, 2022
answer
18
Impact of "Formalizing 100 Theorems" and what is next
Feb 13, 2022
answer
18
What are the advantages to impredicativity?
Mar 12, 2022
answer
15
Is there something special about weak head normal form used with proof assistants?
Feb 10, 2022
answer
15
Bringing OOP features into proof assistants?
Feb 12, 2022
answer
11
What's the relationship between refinement types and dependent types?
Feb 21, 2022
answer
11
What is a commuting conversion and why are they problematic?
Apr 19, 2022
answer
8
How to represent mathematical partial functions in a type-theory based proof assistant?
May 5, 2022
answer
6
What is hereditary substitution and why should I use it?
Mar 28, 2022
Top network posts
View all network posts
73
Realizability theory: difference in power between Lambda calculus and Turing Machines
67
Is there any formal foundation to ultrafinitism?
64
How do I deal with crying in front of my supervisor?
57
Is there an introduction to probability theory from a structuralist/categorical perspective?
43
Halting problem, uncomputable sets: common mathematical proof?