Proof Assistants Beta
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 1 year, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
1,883
reputation
7k
reached
16
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
15
bronze badges
Top tags
View all tags
72
Score
7
Posts
41
Posts %
37
Score
4
Posts
24
Posts %
27
Score
2
Posts
12
Posts %
26
Score
2
Posts
12
Posts %
26
Score
2
Posts
12
Posts %
24
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
21
What are the differences between MLTT and CIC?
Feb 10, 2022
answer
18
What are the advantages to impredicativity?
Mar 12, 2022
question
17
Programming language metatheory in Lean 4?
Feb 10, 2022
answer
16
Impact of "Formalizing 100 Theorems" and what is next
Feb 13, 2022
answer
15
Bringing OOP features into proof assistants?
Feb 12, 2022
answer
14
Is there something special about weak head normal form used with proof assistants?
Feb 10, 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
71
Realizability theory: difference in power between Lambda calculus and Turing Machines
65
Is there any formal foundation to ultrafinitism?
56
Is there an introduction to probability theory from a structuralist/categorical perspective?
43
Explaining Applicative functor in categorical terms - monoidal functors
42
Halting problem, uncomputable sets: common mathematical proof?

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.