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