Skip to content

Setting up Environment

Jump to bottom
Andrew Lygin edited this page Mar 21, 2021 · 4 revisions

If you have already installed the extension, here're some ways to make your work with TLA+ specifications easier and more productive:

Clone this wiki locally