frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Turning Dafny Sets into Sequences [video]

https://www.youtube.com/watch?v=-zAhtW8YFKM
2•larrytheliquid•1mo ago

Comments

larrytheliquid•1mo ago
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...