Contribution: VSCode Dev Container for TLA+

[Kevin Sullivan]

I've put together and tested (Mac/WIndows) a VSCode Dev Container for TLA+.

Details are here: https://github.com/kevinsullivan/TLAPlusDocker/blob/main/README.md

Easy on-ramp to TLA+ building on contributions of others.

If it's redundant, please let me know.

Register issues at GitHub. PRs are good.

Kevin Sullivan

University of Virginia CS

[Kevin Sullivan]

Supports auto-reparse on file save, LaTeX pretty printing and preview, graphviz visualization, and comes with a working traffic light example.

[ben.is....@gmail.com]

I was happy to find your container, so I created a video of how to install it:

https://youtu.be/sLGY7_agg4E

[Kevin Sullivan]

Thank you, Ben. I've added a link to it in the installation instructions. Hope that's ok. Thank you for making the video!