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

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

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

Feel free to ask any questions etc. here :)

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?

Unfortunately I think it may be just a common typo. I suppose it just looked right to me. Sorry to disappoint.

Edit: And to answer your question, no I did not.

Oh that's where "currying" comes from?

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