- https://github.com/chenson2018/advent-of-code/blob/main/2024/lean/AoC/Day01.lean
- https://github.com/kiranandcode/lean-aoc/blob/main/Solutions/Day1.lean
- https://github.com/mfornet/advent-of-code-2024
- https://github.com/anurudhp/aoc2022/blob/main/Aoc/Day02.lean
- How does this syntax work? let [a, b] := l | throw s!"Expected two elements, but got {l.length}"