Slides for talk on Language-Integrated Verification
Primary LanguageJavaScript
No issues in this repository yet.