advent-of-code

Lean, Advent of Code, and Sigma Types 22-12-2023