aoc-2023/inputs/day17.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/day17.input?h=feature/day17 2024-12-22T22:18:47Z Add Day 17 Input 2024-12-22T22:18:47Z Andreas Grois andi@grois.info 2024-12-22T22:18:47Z urn:sha1:46b7edb98dd6677fc3924e48f775acc14a65a149