Hacker News new | ask | show | jobs
The TLA+ Hyperbook released (research.microsoft.com)
1 points by kumarshantanu 4767 days ago