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.
gtanzer / cs260r-17 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from readablesystems/cs260r-17
Main repository for Harvard CS260r 2017.