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?