gnabgib
a month ago
(2019) At the time (176 points, 44 comments) https://news.ycombinator.com/item?id=18937214
Introduction to TLA+ model checking on the command line
3 pointsposted a month ago
by fanf2a month ago
(2019) At the time (176 points, 44 comments) https://news.ycombinator.com/item?id=18937214