What TLA+ can and can't check
243 points · 51 comments · b-man
Unofficial Hacker News client; not affiliated with Y Combinator.
metabagel · · focus · HN ↗