Differences

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

--- learning:start [2024/09/28 16:26] – created - external edit 127.0.0.1
+++ learning:start [2024/10/19 00:58] (current) – fponzi
@@ Line 3: / Line 3: @@
 This page lists some external resources one could use to learn more about TLA+ and related topics.
-First things first: 1. Setup your IDE. Visual Studio code with [[../using/vscode.md|tlaplus plugin]] is recommended. 2. If you have questions or if you feel stuck at any point, reach out to the [[../community.md|community]].
+First things first:
+  - Setup your IDE. Visual Studio code with tlaplus plugin [[using:vscode|tlaplus plugin]] is recommended.
+  - If you have questions or if you feel stuck at any point, reach out to the [[:community|community]].
 Then as good kickstart to TLA+, start with [[https://www.youtube.com/watch?app=desktop&v=tw3gsBms-f8|Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1]] and [[https://www.youtube.com/watch?v=8-Bc5Lqgx_c|Part 2]]. It is a good introduction on TLA+ and uses Paxos and Consensus as an example.
@@ Line 11: / Line 15: @@
 After learning some TLA+, it might be helpful to start learning some Pluscal. Checkout the [[./pluscal.md|pluscal]] page for more info and some resources.
-Don’t just learn the theory, start by solving some small exercises.
+Don’t just learn the theory, start by solving some small [[learning:exercises|exercises]].