aoc-2023/Day15.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/Day15.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 Lean 4.15 2025-01-07T22:32:53Z Andreas Grois andi@grois.info 2025-01-07T22:32:53Z urn:sha1:2390fe0a2fbbdd283d21049a1e997026d7d1948c Minor, indentation 2024-12-01T18:58:11Z Andreas Grois andi@grois.info 2024-12-01T18:58:11Z urn:sha1:4784df61d4858f9f470327e46822aabf2f7eff52 Change Day15 Part 2 to not use do-notation. 2024-12-01T18:57:39Z Andreas Grois andi@grois.info 2024-12-01T18:57:39Z urn:sha1:11639a915b229952c267deb03a367ef70bb4a27e 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