diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md b/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md
index d3ed4da5..c7c9b4fd 100644
--- a/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md	
+++ b/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md	
@@ -46,4 +46,4 @@ tags: []
 
 - [x] Make a Haskell Learning Plan #Haskell ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
 - [x] Make a Rust Learning Plan #Rust ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
-- [<] Make a Lean Learning Plan #LEAN ⏳ 2025-02-12 📅 2025-02-12
+- [x] Make a Lean Learning Plan #LEAN ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-17
diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md
index c287e35d..8482edd7 100644
--- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md	
+++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md	
@@ -1,6 +1,6 @@
 - [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10
 - [x] Part 1 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-12
-- [<] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13
+- [/] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13
 - [ ] Part 3 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20 
 - [ ] Part 4 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20 
-- [<] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13
\ No newline at end of file
+- [x] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13 ✅ 2025-02-17
\ No newline at end of file
diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md
index e40c577b..876e4aa2 100644
--- a/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md	
+++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md	
@@ -3,5 +3,5 @@
 # Lab Reports
 - [x] Lab Report 2 #NUCE2113 ⏫ ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-04
 - [x] Lab Report 3 #NUCE2113 ⏳ 2025-02-05 📅 2025-02-11 ✅ 2025-02-10
-- [<] Lab Report 4 #NUCE2113 ⏳ 2025-02-12 📅 2025-02-18
+- [/] Lab Report 4 #NUCE2113 ⏳ 2025-02-12 📅 2025-02-18
 - [ ] Lab Report 5 #NUCE2113 📅 2025-02-25 ⏳ 2025-02-19
\ No newline at end of file