vault backup: 2025-03-03 12:11:00

2 Cole Group Meeting Notes/Weekly Note 2025-03-04.md

@@ -14,9 +14,12 @@ tags: []
 # Last Week's Plan
 # Accomplishments
 ## Hour Counts
-| Category | Hours |
+| Category         | Hours |
-| -------- | ----- |
+| ---------------- | ----- |
-| Research |       |
+| Research         | 5     |
+| Service          | 2.25  |
+| Learning         | 11.75 |
+| Class / Meetings |       |
 
 ## Remarks
 ## Tasks and Notes From This Past Week

900s Calendars/Research/2025-02-28 TLA+ Proof.md

@@ -0,0 +1,9 @@
+---
+title: TLA+ Proof
+allDay: false
+startTime: 15:00
+endTime: 17:30
+date: 2025-02-28
+completed: null
+type: single
+---

900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md

@@ -3,7 +3,7 @@ title: Finish Assembly Verification paper
 allDay: false
 startTime: 13:00
 endTime: 14:00
-date: 2025-02-28
+date: 2025-03-03
 completed: null
 type: single
 ---

900s Calendars/Research/2025-03-03 Rust Chapter 2.md

@@ -3,7 +3,7 @@ title: Rust Chapter 2
 allDay: false
 startTime: 14:00
 endTime: 15:00
-date: 2025-02-28
+date: 2025-03-03
 completed: null
 type: single
 ---

900s Calendars/Research/Research - README.md

@@ -8,8 +8,8 @@
 - [[2025-02-24 LEAN.md]]
 - [[2025-02-24 TLA Learning Plan and Notes.md]]
 - [[2025-02-26 BoardTalk with Robert.md]]
-- [[2025-02-28 Finish Assembly Verification paper.md]]
+- [[2025-03-03 Finish Assembly Verification paper]]
-- [[2025-02-28 Rust Chapter 2.md]]
+- [[2025-03-03 Rust Chapter 2]]
 
 ## Summary