aoc-2023/Main.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Main.lean?h=main 2024-12-16T21:04:31Z 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 Day 15, Part 2 2024-12-01T18:40:33Z Andreas Grois andi@grois.info 2024-12-01T18:40:33Z urn:sha1:0a038cd8f528a9ff92daddaa5bc4b432f4fbdc7c Day15, Part1 2024-12-01T15:12:52Z Andreas Grois andi@grois.info 2024-12-01T15:12:52Z urn:sha1:3e9ab8b679faa68bf41addedae1ec0f963ee466a Day14 Part 2 2024-11-29T21:23:40Z Andreas Grois andi@grois.info 2024-11-29T21:23:40Z urn:sha1:793bc1538543bbfb48704bab071c6719c6da4aa6 Day 14, Part 1. 2024-11-28T20:53:47Z Andreas Grois andi@grois.info 2024-11-28T20:53:47Z urn:sha1:4848d2516919ab7e5652b20e2b33e7cc39a9d4d9 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 Day 12 Part 2 2024-09-24T19:11:02Z Andreas Grois andi@grois.info 2024-09-24T19:11:02Z urn:sha1:5b854b81590f711cbaa0d825bbbddd366fbfbf6a Day 12 Part 1. 2024-09-24T18:04:26Z Andreas Grois andi@grois.info 2024-09-24T18:04:26Z urn:sha1:b1c7ab96169f80f62c8f5025cf2ebd74e9128f71 God, I fell into the premature optimization trap here... But I'm glad I did, that should make part 2 way easier.