diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 21dcdcab..e2ee4726 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -1,7 +1,11 @@ # Table of Contents for TLA +## Subdirectories +- [[states/states - README]] + ## Files -- [[test.tla]] +- [[Test.cfg]] +- [[Test.tla]] - [[TLA Canvas.canvas]] - [[Untitled.md]] - [[What is TLA?.md]] diff --git a/3-99 Research/TLA/Test.tla b/3-99 Research/TLA/Test.tla index 2568ab6b..ef996dd8 100644 --- a/3-99 Research/TLA/Test.tla +++ b/3-99 Research/TLA/Test.tla @@ -7,5 +7,4 @@ Init == x = 0 Next == x' = x + 1 Spec == Init /\ [][Next]_x - ====: diff --git a/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md b/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md new file mode 100644 index 00000000..e92650cc --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-11-14 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md b/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md new file mode 100644 index 00000000..5733e190 --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-17-34 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md b/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md new file mode 100644 index 00000000..83817748 --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-18-03 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md b/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md new file mode 100644 index 00000000..fb915900 --- /dev/null +++ b/3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md @@ -0,0 +1,5 @@ +# Table of Contents for 25-02-23-19-18-55 + +## Summary + +Generated by llama3.2:latest diff --git a/3-99 Research/TLA/states/states - README.md b/3-99 Research/TLA/states/states - README.md new file mode 100644 index 00000000..2bcbf71f --- /dev/null +++ b/3-99 Research/TLA/states/states - README.md @@ -0,0 +1,11 @@ +# Table of Contents for states + +## Subdirectories +- [[25-02-23-19-11-14/25-02-23-19-11-14 - README]] +- [[25-02-23-19-17-34/25-02-23-19-17-34 - README]] +- [[25-02-23-19-18-03/25-02-23-19-18-03 - README]] +- [[25-02-23-19-18-55/25-02-23-19-18-55 - README]] + +## Summary + +Generated by llama3.2:latest