![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lecture-2-part-1.mp4 | 2018-01-19 17:08 | 442M | |
| lecture-2-part-2.mp4 | 2018-01-19 17:09 | 379M | |
| lecture-2-part-3.mp4 | 2018-01-19 17:08 | 555M | |
| opening-lecture.mp4 | 2018-01-21 19:25 | 471M | |
| prf-notion-summary.mp4 | 2018-02-21 18:17 | 222M | |
| prp-implies-kr.mp4 | 2018-01-23 12:17 | 352M | |
| sprp-implies-prp.mp4 | 2018-01-23 12:17 | 449M | |