News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line.

Re:Introduction to TLA+ Model Checking in the Command Line by hamilyon2 on Friday January 18, 2019 @02:32AM (#18937632)
Thank you, hn and mbellotti. I was getting ready to learn tla+ but IDE seemed like impenetrable wall to me.
[ Parent | on HN ]
Re:Introduction to TLA+ Model Checking in the Command Line by nickkell on Friday January 18, 2019 @03:59AM (#18937992)
You still might want to use the IDE at first, mainly because resources like Lamport's video lectures use it.
[ Parent | on HN ]