advent-of-code

• Lean, Advent of Code and Sigma Types Dec 22, 2023