Hacker News new | ask | show | jobs
by kthielen 262 days ago
What do you have to say about Curry-Howard?
1 comments
auggierose 261 days ago
Most overrated isomorphism in the history of machine-assisted proof.
link