2026-01-01

Software Logic

Lean4

• 20260404T151735-lean4_notes

Midterm project

• 20260314T143253-sl_midterm_project

Weekend Workout

• 20260209T101640-weekend_workout
• 20260126T102257-weekend_workout

Scribe Notes

• 2026-01-28
• 2026-01-21
• 2026-02-18