diff --git a/1 Daily Notes/2025/2025-02-11.md b/1 Daily Notes/2025/2025-02-11.md new file mode 100644 index 000000000..07bf8eb46 --- /dev/null +++ b/1 Daily Notes/2025/2025-02-11.md @@ -0,0 +1,21 @@ +--- +date: 2025-02-11 +tags: +--- +# Links to Other Pages +## Yesterday | Tomorrow + << [[1 Daily Notes/2025/2025-02-10]] | [[1 Daily Notes/2025/2025-02-12 ]] >> +## This Week's Weekly Note +[[ Weekly Note 2025-02-03]] +# Summary +## What's the plan? +[[Lean]] + +## What's the results! +```tasks +done 2025-02-11 +sort by urgency +group by tags +``` + +# Calendar Tasks \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-12.md b/1 Daily Notes/2025/2025-02-12.md new file mode 100644 index 000000000..e69de29bb diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Lean.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Lean.md new file mode 100644 index 000000000..342ac549e --- /dev/null +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Lean.md @@ -0,0 +1 @@ +Given by Jeremy Avigad, From CMU's Philosopy department \ No newline at end of file