Tag EWD687a a beginner spec.

Given that termination/deadlock detection is a well-known problem, and the extensive comments in https://github.com/tlaplus/Examples/blob/master/specifications/ewd687a/EWD687a.tla clearly make the spec a beginner-friendly module.
tlaplus · Mar 11, 2024 · 28ed852 · 28ed852
1 parent 133914b
commit 28ed852
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/manifest.json b/manifest.json
@@ -4060,7 +4060,8 @@
         "Stephan Merz"
       ],
       "tags": [
-        "ewd"
+        "ewd",
+        "beginner"
       ],
       "modules": [
         {