News for hackers. Stuff that matters.
Re:Modeling Redux with TLA+ by Nelkins on Tuesday March 13, 2018 @01:46PM (#16578065)
Not that unreasonable, depending on what your use case is. There are some good, very approachable guides out there like this one[0].

[0] https://pron.github.io/posts/tlaplus_part1

There are no comments on this comment yet.