2 ms·
There is a nice guide to TLA+ from Hillel Wayne here: https://learntla.com/ https://learntla.com/ PlusCal is recommended as the gentler on-ramp to TLA+ for fir
by _doctor_love 6mo ago
There is a nice guide to TLA+ from Hillel Wayne here: https://learntla.com/ https://learntla.com/
PlusCal is recommended as the gentler on-ramp to TLA+ for first learning.
- schaefer 6mo agoFrom the link above, I also found Leslie Lamport's Home page[1], The original developer of TLA+. Leslie's home page contains an incredible amount of info about TLA. There's a published Book with pdf available. There are video courses and talks. There are also git repos of examples[2] and tools[3] Thanks for the link, _doctor_love [1] https://lamport.azurewebsites.net/ https://lamport.azurewebsites.net/ [2] https://github.com/tlaplus/Examples https://github.com/tlaplus/Examples [3] https://github.com/tlaplus/tlaplus/ https://github.com/tlaplus/tlaplus/
- _doctor_love 6mo agoWelcome! Just one guy out here trying to be the change