Hacker News new | ask | show | jobs
by polyglotfacto2 279 days ago
Use TLA+ (which I thought they did)