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