Hacker News new | ask | show | jobs
by dgacmu 4661 days ago
The TLA+ spec is now in the git repository. Thanks for the suggestion!