Hacker News new | ask | show | jobs
TLA+ Official Wiki (docs.tlapl.us)
3 points by federicoponzi 608 days ago