This is the source code and lecture code repository for Harvard’s CS 260r class, Projects and Close Readings in Software Systems, for spring 2017, with the topic of Verified Systems.
Main repository for Harvard CS260r 2017.
Repository from Github https://github.comreadablesystems/cs260r-17