vault backup: 2025-02-24 12:03:59
This commit is contained in:
parent
4b8a2629c8
commit
4994d0f791
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user