4 ms·
Turning Dafny Sets into Sequences [video]
- larrytheliquid 9mo agoAccompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk https://github.com/colimit-ai/turning-dafny-sets-into-sequen...
loading thread…
4 ms·