HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by kthielen | Hacker News Reader
Parent
Full thread
kthielen
·
What do you have to say about Curry-Howard?
View on HN
auggierose
·
Most overrated isomorphism in the history of machine-assisted proof.
Reply on news.ycombinator.com