aoc-2023/Day13.lean, branch feature/day17
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/Day13.lean?h=feature/day17
2025-10-12T16:44:32Z
Lean 4.19
2025-10-12T16:44:32Z
Andreas Grois
andi@grois.info
2025-10-12T16:44:32Z
urn:sha1:6aaa70943202efaa1e6b4ff8b6b8b6b94a564040
Lean 4.18
2025-10-09T22:30:19Z
Andreas Grois
andi@grois.info
2025-10-09T22:30:19Z
urn:sha1:2a9261d1ba962deff9fcc1784be44563af513af5
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