An introduction to formal proof verification and the Curry-Howard Correspondence

mmax-amb 4 days ago 5 commentsRead Article on max-amb.github.io

⚡ Community Insights

Discussion Sentiment

50% Positive

Analyzed from 102 words in the discussion.

Discussion (5 Comments)Read Original on HackerNews

GroksBarnacles•about 12 hours ago

Anyone else having the text squeezed to only ~1/3 the page width? On mobile

Edit: Switched to desktop site, and.. that's just how it is

max-amb•about 4 hours ago

Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)

max-amb•4 days ago

Feel free to ask any questions etc. here :)

derdi•about 3 hours ago

I noticed that you use the spelling "contraposative" consistently. I'd only known this as "contrapositive", and Wiktionary agrees: https://en.wiktionary.org/wiki/contrapositive . But I find lots of web hits for "contraposative", so I suspect it's more than just a common typo. Did you learn this specific form from some specific source that contrasted the two?

cyanregiment•about 13 hours ago

Oh that's where "currying" comes from?

I thought it was just a delicious way to bind events.