The TLA+ Video Course| lamport.azurewebsites.net
Introduction| Cheng Huang’s corner
I am the creator of TLA+,| lamport.azurewebsites.net
