2 ms·
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk https://github.com/colimit-ai/turning-dafny-sets-into-sequen...
by larrytheliquid 9mo ago
Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk https://github.com/colimit-ai/turning-dafny-sets-into-sequen...