TLA+ for Visual Studio CodeThis extension adds support for the TLA+ formal specification language to VS Code. It also supports running the TLC model checker on TLA+ specifications. Features
DocumentationThe project's Wiki provides information on how to install, configure and use the extension. ContributingAll forms of contribution are highly welcome! Feel free to file bugs, propose improvements, ask questions, send other feedback. If you decide to pitch in and write some code, this document will provide you with useful information: CONTRIBUTING.md. TLA+ ResourcesIf you're not familiar with TLA+, but want to get a grasp on it, the following list of resources is a good starting point:
License |