Comment by cipherself
7 hours ago
I am trying to get the TLA+ tools to run completely in the browser https://github.com/tlaplus/tlaplus/tree/master/tlatools
7 hours ago
I am trying to get the TLA+ tools to run completely in the browser https://github.com/tlaplus/tlaplus/tree/master/tlatools
No comments yet
Contribute on Hacker News ↗