Software Foundation Hoare solution

Hello everyone ! I’m a student and i’m having some trouble completing the software foundation chapter on Hoare (Hoare.v the 1st), The 2019 version has some problems that are not on the previous version so i can’t really find solution on the web for that, (for example assertvsassume)
Do any of you has those solutions ?

Thank you very much !

Have a good day

The authors haven’t decided to release solutions publicly. If you provide more details about where you get stuck, the community is happy to give you some hints rather than solution.

2 Likes