4 ms·What do you have to say about Curry-Howard?by kthielen 1y agoWhat do you have to say about Curry-Howard?auggierose 1y agoMost overrated isomorphism in the history of machine-assisted proof.