Add a link to Nikhil Swamy's lecture materials

OPLSS · Jun 28, 2019 · 231aa16 · 231aa16
1 parent b0ed3fd
commit 231aa16
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Swamy/README.md b/Swamy/README.md
@@ -1,3 +1,5 @@
 ## Nikhil Swamy — Microsoft Research
 
 ### Verifying Low-level Code for Security and Correctness Properties using F*
+
+* Accompanying slides and code can be found at: https://fstar-lang.org/oplss2019/index.html