Hi, all. The second homework for the Correctness by Construction course is available. Please access it at
https://wp.software.imdea.org/cbc/2022/03/20/second-cbc-homework/
Deadline to turn it in: Saturday, April 2nd, 00:01. Send it to me by email.
I recommend to have a look at it before next lecture so that I can answer any question with time enough.
Best regards,