undefined | Better HN

0 pointszekrioca1y ago0 comments

Thanks for the nice explanation, that makes a lot of sense! Would you have any good recommendations about where to start with TLA+?

Thanks again!

0 comments

pron1y ago

There are other good resources (some somewhat updated, but not enough to matter) are listed here: https://lamport.azurewebsites.net/tla/learning.html

j / k navigate · click thread line to collapse

0 pointszekrioca1y ago0 comments

Thanks for the nice explanation, that makes a lot of sense! Would you have any good recommendations about where to start with TLA+?

Thanks again!

pron1y ago

There are other good resources (some somewhat updated, but not enough to matter) are listed here: https://lamport.azurewebsites.net/tla/learning.html

j / k navigate · click thread line to collapse