vault backup: 2025-02-17 09:45:51

3-99 Research/3-99 Research - README.md

@@ -1,4 +1,4 @@
-Generated by ChatGPT on 2025-02-14
+Generated by ChatGPT on 2025-02-17
 
 # Table of Contents for 3-99 Research
 
@@ -11,6 +11,7 @@ Generated by ChatGPT on 2025-02-14
 - [[99 Getting Used to Obsidian/99 Getting Used to Obsidian - README]]
 - [[Assembly/Assembly - README]]
 - [[Haskell/Haskell - README]]
+- [[LEAN/LEAN - README]]
 - [[Rust/Rust - README]]
 - [[TLA/TLA - README]]
 

3-99 Research/Assembly/Assembly - README.md

@@ -1,8 +1,8 @@
-Generated by ChatGPT on 2025-02-14
+Generated by ChatGPT on 2025-02-17
 
 # Table of Contents for Assembly
 
 ## Files
 - [[Assembly Canvas.canvas]]
-- [[3-99 Research/Assembly/Untitled]]
+- [[Untitled.md]]
 

3-99 Research/Haskell/Haskell - README.md

@@ -1,7 +1,7 @@
-Generated by ChatGPT on 2025-02-12
+Generated by ChatGPT on 2025-02-17
 
 # Table of Contents for Haskell
 
 ## Files
-- [[3-99 Research/Haskell/Learning Plan]]
+- [[Learning Plan.md]]
 

3-99 Research/LEAN/LEAN - README.md

@@ -0,0 +1,7 @@
+Generated by ChatGPT on 2025-02-17
+
+# Table of Contents for LEAN
+
+## Files
+- [[Learning Plan.md]]
+

3-99 Research/Rust/Rust - README.md

@@ -1,7 +1,7 @@
-Generated by ChatGPT on 2025-02-12
+Generated by ChatGPT on 2025-02-17
 
 # Table of Contents for Rust
 
 ## Files
-- [[3-99 Research/Rust/Learning Plan]]
+- [[Learning Plan.md]]
 

3-99 Research/TLA/TLA - README.md

@@ -1,10 +1,10 @@
-Generated by ChatGPT on 2025-02-14
+Generated by ChatGPT on 2025-02-17
 
 # Table of Contents for TLA
 
 ## Files
 - [[TLA Canvas.canvas]]
-- [[3-99 Research/TLA/Untitled]]
+- [[Untitled.md]]
 - [[What is TLA?.md]]
 - [[What the hell is liveness?.md]]
 

5 Thesis/1 Ideas/1 Ideas - README.md

@@ -1,7 +1,7 @@
-Generated by ChatGPT on 2025-02-12
+Generated by ChatGPT on 2025-02-17
 
 # Table of Contents for 1 Ideas
 
 ## Files
-- [[5 Thesis/1 Ideas/Untitled]]
+- [[Untitled.md]]