3 ms·
Lamport also made a free video series for learning TLA+ http://lamport.azurewebsites.net/video/videos.html http://lamport.azurewebsites.net/video/videos.html
by asimpletune 8y ago
Lamport also made a free video series for learning TLA+
http://lamport.azurewebsites.net/video/videos.html http://lamport.azurewebsites.net/video/videos.html
- dqpb 8y agoThese videos are great!