4 ms·

Thank you, hn and mbellotti. I was getting ready to learn tla+ but IDE seemed like impenetrable wall to me.

• nickkell 8y ago
  You still might want to use the IDE at first, mainly because resources like Lamport's video lectures use it.