will62794/tla-web

Interactive playground for exploring and sharing TLA+ specifications in the browser.

3 best points · 0 comments · 1 Hacker News post · 227 GitHub stars · View on GitHub

Hacker News discussions

• Interactive Explorer for Formal Specifications (3 points, 0 comments, by we6251, 2024-11-21)