News for hackers. Stuff that matters.

A comment on TLA+ model checking made symbolic. Parent comment

Re:TLA+ model checking made symbolic by lemmster on Saturday November 30, 2019 @05:02PM (#21672389)
Did you also wire up trace expression evaluation in Emacs?
[ Parent | on HN ]

There are no comments on this comment yet.