aoc-2023/inputs/day11.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/day11.input?h=main
2024-09-18T22:14:18Z
Day 11 Parsing
2024-09-18T22:14:18Z
Andreas Grois
andi@grois.info
2024-09-18T22:14:18Z
urn:sha1:2ceb539bf306992e726280c24ce8d7b69e4c8b5e