using:vscode:getting_started

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

using:vscode:getting_started [2024/10/19 18:51] – created fponziusing:vscode:getting_started [2024/10/19 18:51] (current) – fponzi
Line 1: Line 1:
 +====== Getting Started ======
 +
 The easiest way to get a simple working model is to create an empty PlusCal algorithm, translate it into a TLA<sup>+</sup> specification and run the TLC tool on it. Here’s a step by step instruction: The easiest way to get a simple working model is to create an empty PlusCal algorithm, translate it into a TLA<sup>+</sup> specification and run the TLC tool on it. Here’s a step by step instruction:
  
  • using/vscode/getting_started.1729363880.txt.gz
  • Last modified: 2024/10/19 18:51
  • by fponzi