This webpage is outdated, the current version of course Course 2-36-1 "Proof of Program" is located here (a redirection should take you there).