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

Oh that's where "currying" comes from?

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

Feel free to ask any questions etc. here :)