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.
forked from readablesystems/cs260r-17
-
Notifications
You must be signed in to change notification settings - Fork 0
gtanzer/cs260r-17
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Main repository for Harvard CS260r 2017.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Coq 100.0%