Issues

• WhichToSplit can reach SPLIT_INNER, but no SplitInner sub-action exists

  question
  tlaplus/Examples#234 · Filter by author lemmy opened on Aug 24, 2026
  2

• Spec claims to check (safety-prop) UnforgLtl but config actually also checks (liveness-props) CorrLtl and RelayLtl

  tlaplus/Examples#174 · Filter by author lemmy opened on Jun 23, 2025
  5

• Simplify contribution process

  tlaplus/Examples#171 · Filter by author ahelwer opened on May 21, 2025
  14

• Bakery-Boulangerie specs don't satisfy DeadlockFree or StarvationFree liveness properties

  tlaplus/Examples#109 · Filter by author ahelwer opened on Jan 18, 2024
  1

• GitPod & Codespaces - make sure bitrot hasn't set in

  help wanted
  tlaplus/Examples#106 · Filter by author ahelwer opened on Jan 18, 2024