Accompanying slides & code: <a href=“https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk” rel=“ugc”>https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk</a> Comments
You must log in or register to comment.
Accompanying slides & code: <a href=“https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk” rel=“ugc”>https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk</a> Comments