aoc-2023/inputs/day12.input, branch feature/day17
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/inputs/day12.input?h=feature/day17
2024-09-23T19:31:41Z
Continue Day12
2024-09-23T19:31:41Z
Andreas Grois
andi@grois.info
2024-09-23T19:31:41Z
urn:sha1:5d08e39abca75b775bb7636973bb9c9a3bb908ac