kelvich/tlaplus_jupyter
Jupyter kernel for TLA⁺
5 best points · 0 comments · 1 Hacker News post · 122 GitHub stars · View on GitHub
Hacker News discussions
- Running TLA+ in browser with jupyter (5 points, 0 comments, by kelvich, 2019-12-02)
Jupyter kernel for TLA⁺
5 best points · 0 comments · 1 Hacker News post · 122 GitHub stars · View on GitHub