Update 03-smt-and-quantifiers.pptx

verus-lang · Nov 3, 2024 · 5d506cf · 5d506cf
1 parent 5a6439d
commit 5d506cf
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/2024-sosp-tutorial/slides/03-smt-and-quantifiers.pptx b/2024-sosp-tutorial/slides/03-smt-and-quantifiers.pptx