4 ms·
If anyone is trying to learn TLA+, this site looks like a good one: https://learntla.com/ https://learntla.com/ too
by kureikain 7y ago
If anyone is trying to learn TLA+, this site looks like a good one: https://learntla.com/ https://learntla.com/ too
- lemmster 7y agoLamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html http://lamport.azurewebsites.net/tla/learning.html
- dwohnitmok 7y agoOP is perhaps being a bit modest, but his own website https://pron.github.io/tlaplus https://pron.github.io/tlaplus is a fantastic resource.
- veeralpatel979 7y agoI liked the Practical TLA+ book: https://www.apress.com/gp/book/9781484238288 https://www.apress.com/gp/book/9781484238288