2 points | by larrytheliquid 3 hours ago
1 comments
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...