Hacker News
new
top
best
ask
show
job
Turning Dafny Sets into Sequences [video]
(
www.youtube.com
)
2 points
by
larrytheliquid
15 hours ago
1 comment
larrytheliquid
15 hours ago
Accompanying slides & code:
https://github.com/colimit-ai/turning-dafny-sets-into-sequen...