4 ms·
Check out the video course from Leslie Lamport (the creator of TLA+) himself: https://lamport.azurewebsites.net/tla/learning.html https://lamport.azurewebsites
by cloogshicer 6y ago
Check out the video course from Leslie Lamport (the creator of TLA+) himself:
https://lamport.azurewebsites.net/tla/learning.html https://lamport.azurewebsites.net/tla/learning.html
- macintux 6y agoLeslie is one of those ridiculously over-accomplished people in computer science. I think it's safe to say you've earned respect when people can legitimately recognize your name for multiple, mostly-unrelated achievements, without realizing everything else you've done.