Turning Dafny Sets into Sequences

8 points by larrytheliquid

Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk

I added some additional resources in the README of the GH repo, for those wanting to learn more details about how the primary trick of turning sets into sequences is achieved within Dafny.

Also happy to answer any questions about the talk or Dafny in general :)