Correct Code by Construction by Walter Schulze & Paul Cadman

[@MauriceRoach]

This is excellent. I miss Paul too! he has such an excellent way of explaining things.

[@awalterschulze]

I can't remember the last time I had so much fun. Thanks for having us at Devoxx 2022 and giving us the opportunity to demonstrate #Coq

[@awalterschulze]

The youtube URL to my channel on the last slide has now been updated to: th-cam.com/users/awalterschulze

[@qbalsdon]

Awww I miss you Paul! Love this!!

[@EvanLezar]

Thanks for the talk!