aoc-2023/inputs/day15.input, branch main
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/inputs/day15.input?h=main
2024-12-01T15:12:52Z
Day15, Part1
2024-12-01T15:12:52Z
Andreas Grois
andi@grois.info
2024-12-01T15:12:52Z
urn:sha1:3e9ab8b679faa68bf41addedae1ec0f963ee466a