Hacker News new | ask | show | jobs
by larrytheliquid 170 days ago
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...