An attempt to do the Advent of Code 2022 in Lean https://adventofcode.com/2022 Dec 1 https://adventofcode.com/2022/day/1 Dec2 https://adventofcode.com/2022/day/2