Differences

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

--- using:toolbox [2024/09/28 15:58] – created - external edit 127.0.0.1
+++ using:toolbox [2024/10/10 09:13] (current) – fponzi
@@ Line 1: / Line 1: @@
 ====== TLA+ Toolbox ======
-The TLA+ Toolbox is an IDE for TLA+.
+The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.
+Users who would prefer a more lightweight IDE for TLA+ may want to try the Visual Studio Code extension for TLA+.  However, it lacks many of the Toolbox's features.
+  * Official page: https://lamport.azurewebsites.net/tla/toolbox.html
+  * Download: https://github.com/tlaplus/tlaplus/releases/latest
+===== Getting started =====
+Start the Toolbox, create your first specification in PlusCal, run TLC and have it verify a (safety) property.
+{{youtube>U2FAnyPygrA?}}