Getting Started · tlaplus/vscode-tlaplus Wiki
github.com · 365 words · saved by 1 readers
TLA+ language support for Visual Studio Code. Contribute to tlaplus/vscode-tlaplus development by creating an account on GitHub.
This page was moved to https://docs.tlapl.us/using:vscode:getting_started The easiest way to get a simple working model is to create an empty PlusCal algorithm, translate it into a TLA+ specification and run the TLC tool on it. Here's a step by step instruction: Create a specification file. Let's name it squares.tla. Make the file a TLA+ module. To do it, start typing module and select the "Create new module (TLA+)" snippet from the drop-down list. The snippet will expand into module header and footer. Use another snippet pluscal ("Create PlusCal block (TLA+)") to create an empty PlusCal…
saved by
related reading
- Operators and Values — Learn TLA+learntla.com
- Best practices for Claude Code - Claude Code Docsanthropic.com
- Claude Code Cheat Sheetcc.storyfox.cz
- Agentationagentation.dev
- Natural Language Autoencoders Produce Unsupervised Explanations of LLM Activationstransformer-circuits.pub
- Agentationagentation.com
- Prompting best practicesdocs.anthropic.com
- Protocollie Claude Code Vibe Coding setupgist.github.com
- The Making of Claude Code \ Anthropicanthropic.com
- GitHub - tinygrad/tinyspec: A spec for tinygrad (let's see if this works) · GitHubgithub.com
- How Anthropic teams use Claude Code | Claudeanthropic.com
- About | Harmonicharmonic.fun