# tla-notes

Notes and doodles I collected while learning TLA+ with the [Video
Course](http://lamport.azurewebsites.net/video/videos.html).