vault backup: 2025-02-23 19:00:54

2025-02-23 19:00:54 -05:00 · 2025-02-23 19:00:54 -05:00 · 2bb3f63343
commit 2bb3f63343
parent 2e8ebfcebd
1 changed files with 11 additions and 0 deletions
--- a/Research/TLA/test.tla
+++ b/Research/TLA/test.tla
@ -0,0 +1,11 @@
+---- MODULE Test ----
+EXTENDS Naturals
+
+VARIABLE x
+
+Init == x = 0
+Next == x' = x + 1
+
+Spec == Init /\ [][Next]_x
+
+====