I am trying to get the TLA+ tools to run completely in the browser https://github.com/tlaplus/tlaplus/tree/master/tlatools https://github.com/tlaplus/tlaplus/tr

I am trying to get the TLA+ tools to run completely in the browser https://github.com/tlaplus/tlaplus/tree/master/tlatools https://github.com/tlaplus/tlaplus/tree/master/tlatools