aoc-2023/Day16.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/Day16.lean?h=feature/day17
2025-11-16T13:24:46Z
Lean 4.23
2025-11-16T13:24:46Z
Andreas Grois
andi@grois.info
2025-11-16T13:24:46Z
urn:sha1:6d10b7594f487bdfbef99d05bda34405dd85c8b8
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
Lean 4.17
2025-04-13T18:43:15Z
Andreas Grois
andi@grois.info
2025-04-13T18:43:15Z
urn:sha1:671ccf18e506398fd8eb65ebac92ec6d2fd03ccd
Lean 4.15
2025-01-07T22:32:53Z
Andreas Grois
andi@grois.info
2025-01-07T22:32:53Z
urn:sha1:2390fe0a2fbbdd283d21049a1e997026d7d1948c
Day 16 Part 2
2024-12-16T21:04:31Z
Andreas Grois
andi@grois.info
2024-12-16T21:04:31Z
urn:sha1:8f1a6c619a238531aed9dd3f4479d658fcf1d101
Day 16, part 1
2024-12-15T20:39:35Z
Andreas Grois
andi@grois.info
2024-12-15T20:39:35Z
urn:sha1:3a125fab0a8e6a92ae55e534d4ea446ad01815e5
Begin Day16
2024-12-13T23:09:46Z
Andreas Grois
andi@grois.info
2024-12-13T23:09:46Z
urn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57