Hacker News new | ask | show | jobs
TLA+ 1.6.0 Released (github.com)
3 points by strmpnk 2541 days ago