Hacker News new | ask | show | jobs
by namibj 2792 days ago
I understand them having developed TLA+ to guide their design and test consistency primitives.