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
- Thinking like Transformersrush.github.io
- How I Use Claude Code | Philipp Spiessspiess.dev
- Quick start • tldraw Docstldraw.dev
- Protocollie Claude Code Vibe Coding setupgist.github.com
- text-to-cad | Design physical products with AItexttocad.dev
- Quickstart with TailwindCSS – Plasmodocs.plasmo.com
- Claude Code Setup Guide for Complete Beginnershannahstulberg.substack.com
- What is PLUS times PLUS?youtube.com
- TOML: Tom's Obvious Minimal Languagetoml.io