Skip to main content
Proof Assistants Beta
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 2 years, 10 months
  • Last seen this week
Profile Activity
Stats
409
reputation
2k
reached
4
answers
0
questions
Communities
View all
About

I am currently a research scientist at AWS. My interests include software verification and language design, logic and computability, proof theory and other things.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
13
bronze badges
Top tags
View all tags
16
Score
1
Posts
25
Posts %
16
Score
1
Posts
25
Posts %
6
Score
2
Posts
50
Posts %
5
Score
1
Posts
25
Posts %
5
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
Top posts
answer
16
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 9, 2022
answer
5
Has extensionality ever caused any problems in a mathematical proof?
Mar 19
answer
3
What if identity type in extensional type theory were possibly non-deterministic?
Jul 19, 2023
answer
3
General method for disproving possibility of judgemental equality
Aug 11, 2023
Top network posts
View all network posts
52
What functions can System F not compute?
49
Formal program verification in practice
42
What makes type inference for dependent types undecidable?
42
How to find interesting research problems
32
Is Category Theory useful for learning functional programming?