[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Practice questions and answers for TLA+

Hi Everyone, I'm new here. 😅 So please, pardon my question if this question has been asked before. And please, if it has been asked, please kindly leave a link to the question please.

But, as you may have guessed, I'm new to TLA+ and I'm trying to find my way around it to better understand the formal language and proceed to designing Distributed Systems using my new found knowledge. But I'd like to practice what I've learned before building an real world systems, because I'm in this in between state of "I understand, but I'm not sure I fully understand". Please are there any resources to practice questions and answers I can use to jump right in and attempt to solve challenges (hopefully beginner friendly), break things and learn on the go?

By the way, I recommend https://www.youtube.com/playlist?list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD to learn TLA+ from Dr. Leslie Lamport himself.

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3a9cff8e-5b1c-493e-ad85-76e095092973n%40googlegroups.com.