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