diff --git a/3-99 Research/LEAN/Learning Plan.md b/3-99 Research/LEAN/Learning Plan.md
index b27cca7b2..a6e13e70b 100644
--- a/3-99 Research/LEAN/Learning Plan.md	
+++ b/3-99 Research/LEAN/Learning Plan.md	
@@ -1,4 +1,4 @@
- - [<] Tutorial World #LEAN ⏳ 2025-02-17 📅 2025-02-21
+ - [x] Tutorial World #LEAN ⏳ 2025-02-17 📅 2025-02-21 ✅ 2025-02-24
  - [ ] 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 
diff --git a/900s Calendars/Research/2025-02-24 LEAN.md b/900s Calendars/Research/2025-02-24 LEAN.md
index 08ba26b33..fdce5d587 100644
--- a/900s Calendars/Research/2025-02-24 LEAN.md	
+++ b/900s Calendars/Research/2025-02-24 LEAN.md	
@@ -2,7 +2,7 @@
 title: LEAN
 allDay: false
 startTime: 11:20
-endTime: 12:30
+endTime: 12:00
 date: 2025-02-24
 completed: null
 type: single