kmill-aoc2023 Advent of Code 2023 in Lean 4 Each day's programs are compiled into the aoc executable. For example, to run day 1 part 1, assuming you have the input file at AoC2023/Day1/input.txt, then you can execute lake exe aoc day1_1 AoC2023/Day1/input.txt