Searching protocol for "aoc"
AoC puzzle solving with TDD.
Lean 4 parsing made simple.
Automate AoC puzzles, reclaim your problem-solving joy.