/problems

Applied algorithmic engineering. Each problem notebook breaks down a canonical problem through real-world system analogues, formal invariant proofs, typed Python implementations, and an appendix on historical design evolution.