danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-02-27 09:53:58

Browse Source
This commit is contained in:
Dane Sabo 2025-02-27 09:53:58 -05:00
parent 347551aef3
commit 208865852f
3 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
900s Calendars/Research/2025-02-26 Finish Assembly Verification paper.md → 900s Calendars/Research/2025-02-27 Finish Assembly Verification paper.md
View File

@ -1,8 +1,9 @@
--- ---
title: Finish Assembly Verification paper title: Finish Assembly Verification paper
allDay: false allDay: false
startTime: 15:00 startTime: 13:00
endTime: 16:00 endTime: 14:00
date: 2025-02-26 date: 2025-02-27
completed: null completed: null
type: single
--- ---

6
900s Calendars/Research/2025-02-26 Rust Chapter 2.md → 900s Calendars/Research/2025-02-27 Rust Chapter 2.md
View File

@ -1,9 +1,9 @@
--- ---
title: Rust Chapter 2 title: Rust Chapter 2
allDay: false allDay: false
startTime: 16:00 startTime: 14:00
endTime: 16:30 endTime: 15:00
date: 2025-02-26 date: 2025-02-27
completed: null completed: null
type: single type: single
--- ---

4
900s Calendars/Research/Research - README.md
View File

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