henry-hz/internal-mechanisms-fv

Slides of the september 2024 meetup in Tel Aviv

Dafny