Hacker News new | ask | show | jobs
by irsagent 1414 days ago
Could TLA+ do the same thing?