---
date: 2025-02-17
tags:
---
# Links to Other Pages
## Yesterday | Tomorrow
 << [[1 Daily Notes/2025/2025-02-14]] | [[1 Daily Notes/2025/2025-02-18 ]] >>
## This Week's Weekly Note
[[ Weekly Note 2025-02-10]]
# Summary
## What's the plan?

## What's the results!
```tasks
done 2025-02-17
sort by urgency
group by tags
```

# Calendar Tasks
-  Read Papers [startTime:: 13:00]  [endTime:: 14:30]
-  Lunch [startTime:: 12:00]  [endTime:: 13: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]
-  LEAN Learning Plan [startTime:: 09:00]  [endTime:: 09:30]