News for hackers. Stuff that matters.
Re:TLA+ model checking made symbolic by im_down_w_otp on Saturday November 30, 2019 @11:01AM (#21670487)
We didn't. It's on our list of things to open source and write about though, so we will when time permits. Probably won't be until after the new year, as we're focused on preparing for CES.

There are no comments on this comment yet.