afonsonf/tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.

103 best points · 6 comments · 1 Hacker News post · 200 GitHub stars · View on GitHub

Hacker News discussions