Slides of the september 2024 meetup in Tel Aviv
Primary LanguageDafny
No issues in this repository yet.