Video lecture on May. 8th
Closed this issue · 0 comments
kingdoctor123 commented
The lecture on May. 8th (Wed) has been replaced with video lecture. You don't need to come to the classroom. Instead, please do the following remotely:
- Watch the following video:
- RustBelt: Logical Foundations for the Future of Safe Systems Programming (This video is same as the one in the lecture slide).
Please note that this video will be included in the scope of the final exam.