Forgot to update title of lab 3 to 3 from 2
Link to lab 4 page
Blindly convert lab 4 tex to pdf
Move link to msft research code contracts user manual from intro to study material