vault backup: 2025-03-06 09:03:59

This commit is contained in:
Dane Sabo 2025-03-06 09:03:59 -05:00
parent c8eb0692bb
commit 45fbaf65c8
9 changed files with 34 additions and 15 deletions

View File

@ -1,8 +1,10 @@
---
title: HW2 NUCE 2113
allDay: false
allDay: true
startTime: 15:00
endTime: 16:00
date: 2025-03-06
completed: null
type: single
endDate: null
---

View File

@ -1,8 +1,10 @@
---
title: Laboratory 6 Report
allDay: false
startTime: 11:00
endTime: 12:00
allDay: true
startTime: 18:30
endTime: 19:30
date: 2025-03-06
completed: null
type: single
endDate: null
---

View File

@ -0,0 +1,9 @@
---
title: ME2046 HW3
allDay: false
startTime: 09:00
endTime: 11:00
date: 2025-03-06
completed: null
type: single
---

View File

@ -1,9 +1,10 @@
---
title: Finish thesis update and weekly summary
allDay: false
allDay: true
startTime: 13:00
endTime: 14:00
date: 2025-03-06
completed: null
type: single
endDate: null
---

View File

@ -1,8 +1,10 @@
---
title: LEAN Addition World
allDay: false
startTime: 10:00
endTime: 11:00
allDay: true
startTime: 17:30
endTime: 18:30
date: 2025-03-06
completed: null
type: single
endDate: null
---

View File

@ -1,8 +1,10 @@
---
title: Rust Chapter 3 Common Programming Concepts
allDay: false
allDay: true
startTime: 16:00
endTime: 17:30
date: 2025-03-06
completed: null
type: single
endDate: null
---

View File

@ -1,9 +1,9 @@
---
title: Finish Assembly Verification paper
allDay: false
startTime: 08:00
endTime: 09:00
date: 2025-03-06
startTime: 11:30
endTime: 12:30
date: 2025-03-07
completed: null
type: single
---

View File

@ -9,7 +9,7 @@
- [[2025-02-24 TLA Learning Plan and Notes.md]]
- [[2025-02-26 BoardTalk with Robert.md]]
- [[2025-02-28 TLA+ Proof.md]]
- [[2025-03-06 Finish Assembly Verification paper.md]]
- [[2025-03-07 Finish Assembly Verification paper]]
- [[2025-03-06 Finish thesis update and weekly summary.md]]
- [[2025-03-06 LEAN Addition World.md]]
- [[2025-03-06 Rust Chapter 3 Common Programming Concepts.md]]

View File

@ -1,8 +1,9 @@
---
title: Set up Union Github Repo
allDay: false
startTime: 09:00
endTime: 10:00
startTime: 12:00
endTime: 13:00
date: 2025-03-06
completed: null
type: single
---