3 ms·
If you're into this kind of stuff, I highly recommend the somewhat amusing videos of Leslie Lamport himself, the creator and godfather of TLA+. https://lamport
by omeid2 8y ago
If you're into this kind of stuff, I highly recommend the somewhat amusing videos of Leslie Lamport himself, the creator and godfather of TLA+.
https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html
- jelling 8y agoLearnTLA is also great: https://learntla.com/introduction/ https://learntla.com/introduction/