A taste of Coq and correct code by construction

Re:A taste of Coq and correct code by construction by stepchowfun on Monday September 04, 2023 @03:36AM (#37378083)

Thanks for your feedback!

[ Parent | on HN ]

Re:A taste of Coq and correct code by construction by schoen on Monday September 04, 2023 @01:37PM (#37382851)

I'd like to add belatedly that I think it's cool that you introduce the Curry-Howard stuff so early on, basically from the very beginning.

[ Parent | on HN ]