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

GroksBarnacles wrote: post #4

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 :)

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

#6

Post by derdi » Wed, Jul 29, 2026, 9:09 AM UTC

max-amb wrote: post #2

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?

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

#7

Post by max-amb » Wed, Jul 29, 2026, 7:48 PM UTC

derdi wrote: post #6

max-amb wrote: post #2

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.