aoc-2023/Day17.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/Day17.lean?h=feature/day17 2025-04-13T11:22:53Z Lean 4.16 2025-04-13T11:22:53Z Andreas Grois andi@grois.info 2025-04-13T11:22:53Z urn:sha1:8dbe99432db14b5f73585b9e34ecff6e61e76ca8 Move AStar into a separte library and use it for Day17-1 2025-01-05T22:55:54Z Andreas Grois andi@grois.info 2025-01-05T22:55:54Z urn:sha1:4749b3ca572618fa1a7cdb17e2abba9b498279ca Complete Day 17 Part 1 2024-12-22T22:23:13Z Andreas Grois andi@grois.info 2024-12-22T22:23:13Z urn:sha1:bbf615a66d1814ff196313b206cd3bcc239079c1 Add Day 17 Input 2024-12-22T22:18:47Z Andreas Grois andi@grois.info 2024-12-22T22:18:47Z urn:sha1:46b7edb98dd6677fc3924e48f775acc14a65a149 Day 17, part 1 (hopefully) 2024-12-22T22:17:05Z Andreas Grois andi@grois.info 2024-12-22T22:17:05Z urn:sha1:406c23a9f6c6a4c7e03f9aad4131921e589623bc Continue Day17 2024-12-21T20:37:51Z Andreas Grois andi@grois.info 2024-12-21T20:37:51Z urn:sha1:b37fc3089eb0ca8fc37a82ae6d6071b0accbca19 Start Day 17 2024-12-18T08:05:03Z Andreas Grois andi@grois.info 2024-12-18T08:05:03Z urn:sha1:a6e4b8f15c28c374553684f63fa3f4108095da2d