Nice tutorial, one minor request: it would be nice to see this footage at screen resolution (1080) because it was actually hard to see whether you are using standard brackets () or curly brackets {} due to the compression of the video. Or if you could point to a Github repo, we could follow along ourselves.

Thank you very much for this insightful video! I especially like how you present a nice workflow for using TLA+ with vscode. Would love to see more of your content!

Thank you for posting this! I am working my way into the world of specification and had been limping along with the Toolbox which, though an excellent entre, is not an ideal IDE for thinking / typing / iterating quickly for me. This helped me get a full setup running smoothly in VSCode.

Thanks a lot.... your presentation is excellent... Please continue to upload more videos....Thanks in advance

Thanks!

How do you enable the Source Action -> Parse Module on ctrl-s?

good video, but can you please upload a higher resolution one?

Thanks, great workflow. I prefier the simplicity of VSCode vs Toolbox.

Which extension are you using to get that Open Preview icon? I tried the Graphviz extension by João Pinto which allows me to generate the visualization but I don't see the same icon you are using. Might be helpful to have a video covering the set-up for this video.

Thank you!!

The "-dump dotcolorize..." option doesn't do anything. Is there something else that needs to be installed? Running on Windows 10. My minimal googling found Graphviz, but I'm not sure what do to next.