Repository from Github https://github.comjjaassoonn/advent_of_code_2023_in_lean4Repository from Github https://github.comjjaassoonn/advent_of_code_2023_in_lean4