‹ BackHN Continuity

Thread

What TLA+ can and can't check

243 points · 51 comments · b-man

  1. ChrisArchitect · · focus · HN ↗
    Related:

    The internet discovers TLA+. Now what?

    <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49863600">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49863600

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.