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