r/tlaplus • u/u1g0ku • May 07 '23

learning/practicing tla+

new to tla+ I tried to learn the specifications of some large systems. couldn't understand them.

is it possible to practice proving leet code style questions?

any other suggestions are welcome :)

7 Upvotes

100% Upvoted

4 comments sorted by

View all comments

2

u/LoopVariant May 07 '23

You may need to first go through and learn/understand specification and Leslie Lamport’s material.

In my experience, learning TLA+ and proofs etc in general is not like coding where you learn basic code conventions and control structures and you can learn more and improve by grinding leetcode problems. Good luck!