Week 1

Most of week one's material is related with CSC165, Danny showed us some proof examples and I'm very glad we are not going to use the same proving model anymore.