Advent of Code 2023 After doing the Advent of Code in Lean4, I decided to not spend too much time on it, doing the ugliest Python implementation possible.