The notes from today’s lecture have been updated to include the last slide on finding loop invariants that was missing, along with the correct invariants in the invariant calculation discussion.
Project 3 has also been updated to remove the repeated problem.