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