aoc-2023/Day13.lean, branch main
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/Day13.lean?h=main
2024-11-26T20:21:19Z
Day13 Part2
2024-11-26T20:21:19Z
Andreas Grois
andi@grois.info
2024-11-26T20:21:19Z
urn:sha1:7e44f6330705f6cd3c3814e65d8918ac7e53c819
Day 13, Part 1
2024-11-25T16:01:18Z
Andreas Grois
andi@grois.info
2024-11-25T16:01:18Z
urn:sha1:de5352e64f36948fc568a1bbb58bf930ec44aa2c