Turning Dafny Sets into Sequences (by larrytheliquid) — discussion

#formalmethods #video