Live data from Hacker News

Turning Dafny Sets into Sequences [video]

Post reply on HN

Print view View original

1–2 of 2 posts

Turning Dafny Sets into Sequences [video]

#1

Post by larrytheliquid » Tue, Dec 30, 2025, 11:07 PM UTC

Turning Dafny Sets into Sequences [video]
youtube.com

Re: Turning Dafny Sets into Sequences [video]

#2

Post by larrytheliquid » Tue, Dec 30, 2025, 11:07 PM UTC

Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...

Post reply on HN