From f225814b3422ad1efe0d61a2fb5c6bd12bc0663b Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 17 Feb 2025 09:51:53 -0500 Subject: [PATCH] vault backup: 2025-02-17 09:51:53 --- 1 Daily Notes/2025/2025-02-17.md | 3 ++- 3-99 Research/LEAN/Learning Plan.md | 5 +++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md index 24a6adff..d55a6138 100644 --- a/1 Daily Notes/2025/2025-02-17.md +++ b/1 Daily Notes/2025/2025-02-17.md @@ -19,10 +19,11 @@ group by tags ``` # Calendar Tasks +- Lunch [startTime:: 12:00] [endTime:: 13:00] - Learn about TAL [startTime:: 15:00] [endTime:: 16:00] - Learn about FPGA [startTime:: 14:00] [endTime:: 15:00] - Read Papers [startTime:: 13:00] [endTime:: 14:30] -- Lunch [startTime:: 12:00] [endTime:: 13:00] +- SeL4 Part 2 [startTime:: 11:00] [endTime:: 12:00] - Read papers [startTime:: 11:00] [endTime:: 12:00] - NUCE 2113 Lab Report 4 [startTime:: 10:00] [endTime:: 11:00] - Introduction to SeL4 proofs [startTime:: 09:30] [endTime:: 10:00] diff --git a/3-99 Research/LEAN/Learning Plan.md b/3-99 Research/LEAN/Learning Plan.md index e69de29b..d23c25d7 100644 --- a/3-99 Research/LEAN/Learning Plan.md +++ b/3-99 Research/LEAN/Learning Plan.md @@ -0,0 +1,5 @@ + - [ ] Tutorial World #LEAN 📅 2025-02-21 ⏳ 2025-02-17 + - [ ] Addition World #LEAN 📅 2025-02-28 ⏳ 2025-02-23 + - [ ] Implication World #LEAN 📅 2025-03-07 ⏳ 2025-03-02 + - [ ] Multiplication World #LEAN 📅 2025-03-07 ⏳ 2025-03-07 + - [ ] Schedule further worlds #LEAN 📅 2025-03-07 ⏳ 2025-03-07