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