3 ms·
> I recommend watching the video series introducing TLA+ by Lamport I'm guessing this is the video series for anyone looking for a link https://lamport.azurewe
by mattm 6y ago
> I recommend watching the video series introducing TLA+ by Lamport
I'm guessing this is the video series for anyone looking for a link https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html