News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by QuinnWilton on Friday November 29, 2019 @03:22PM (#21666607)
This is really cool! I'm continually blown away by the quality of some of the projects Shopify open sources.
[ Parent | on HN ]

There are no comments on this comment yet.