3 ms·
https://www.youtube.com/watch?v=hhGnMbw98u8 https://www.youtube.com/watch?v=hhGnMbw98u8 https://www.youtube.com/watch?v=tfnldxWlOhM https://www.youtube.com/wat
by agentultra 8y ago
https://www.youtube.com/watch?v=hhGnMbw98u8 https://www.youtube.com/watch?v=hhGnMbw98u8
https://www.youtube.com/watch?v=tfnldxWlOhM https://www.youtube.com/watch?v=tfnldxWlOhM
https://www.youtube.com/watch?v=HnOix9TFy1A https://www.youtube.com/watch?v=HnOix9TFy1A
https://pron.github.io/posts/tlaplus-curryon-talk https://pron.github.io/posts/tlaplus-curryon-talk
https://learntla.com/introduction/ https://learntla.com/introduction/
https://leanprover.github.io/theorem_proving_in_lean/ https://leanprover.github.io/theorem_proving_in_lean/
https://rise4fun.com/dafny https://rise4fun.com/dafny