An Introduction to TLA+ and Its Use in Parties

Related stories

• What TLA+ can and can't checkbuttondown.com
  Lobsters · 27 points · about 11 hours ago
• Can we have reachability properties in TLA⁺?ahelwer.ca
  Lobsters · 13 points · 4 days ago
• TLA+ modeling tipsmuratbuffalo.blogspot.com
  Lobsters · 22 points · 10 months ago
• Can I get insurance for company renting humanoids for parties?
  Hacker News · 5 points · 14 days ago
• What TLA+ can and can't checkbuttondown.com
  Hacker News · 133 points · about 11 hours ago
• The internet discovers TLA+. Now what?reasonable.io
  Hacker News · 96 points · 4 days ago

Related topics