aoc-2023/Common/Countable.lean, branch feature/day17Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Common/Countable.lean?h=feature/day172025-01-05T22:55:54ZMove AStar into a separte library and use it for Day17-12025-01-05T22:55:54ZAndreas Groisandi@grois.info2025-01-05T22:55:54Zurn:sha1:4749b3ca572618fa1a7cdb17e2abba9b498279caContinue Day172024-12-21T20:37:51ZAndreas Groisandi@grois.info2024-12-21T20:37:51Zurn:sha1:b37fc3089eb0ca8fc37a82ae6d6071b0accbca19