This repository holds my notes about learning TLA+.
My notes for learning TLA+ (https://lamport.azurewebsites.net/tla/tla.html)