Hacker News new | ask | show | jobs
Turning Dafny Sets into Sequences [video] (youtube.com)
2 points by larrytheliquid 171 days ago
1 comments
larrytheliquid 171 days ago
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...
link