5 lines
140 B
Markdown
5 lines
140 B
Markdown
# tla-notes
|
|
|
|
Notes and doodles I collected while learning TLA+ with the [Video
|
|
Course](http://lamport.azurewebsites.net/video/videos.html).
|