4 ms·Reasoning About Code1 points by rramadass 4y agorramadass 4y agoPart 2 here : https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.html https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.htm... A short tutorial that is nice and succinct.