aoc-2023/Common.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.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:4749b3ca572618fa1a7cdb17e2abba9b498279caDay 17, part 1 (hopefully)2024-12-22T22:17:05ZAndreas Groisandi@grois.info2024-12-22T22:17:05Zurn:sha1:406c23a9f6c6a4c7e03f9aad4131921e589623bcContinue Day172024-12-21T20:37:51ZAndreas Groisandi@grois.info2024-12-21T20:37:51Zurn:sha1:b37fc3089eb0ca8fc37a82ae6d6071b0accbca19Begin Day162024-12-13T23:09:46ZAndreas Groisandi@grois.info2024-12-13T23:09:46Zurn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57Continue Day122024-09-23T19:31:41ZAndreas Groisandi@grois.info2024-09-23T19:31:41Zurn:sha1:5d08e39abca75b775bb7636973bb9c9a3bb908acDay 11 Parsing2024-09-18T22:14:18ZAndreas Groisandi@grois.info2024-09-18T22:14:18Zurn:sha1:2ceb539bf306992e726280c24ce8d7b69e4c8b5eBegin Day 11.2024-09-18T08:00:04ZAndreas Groisandi@grois.info2024-09-18T08:00:04Zurn:sha1:6554499717d70d5656a3b38a20dc60850674a873Continue Day10 Part22024-09-09T06:54:44ZAndreas Groisandi@grois.info2024-09-09T06:54:44Zurn:sha1:6718bbdbc6997a7f8acfa0b2622afa04179a7f53Move BinaryHeap to its own Github project.2024-08-31T22:03:28ZAndreas Groisandi@grois.info2024-08-31T22:03:28Zurn:sha1:539545228c4d78cc3fdbf369c3934ad27fd17b32Partial cleanup of Heap2023-12-18T19:42:08ZAndreas Groisandi@grois.info2023-12-18T19:42:08Zurn:sha1:214f0bdcbe35a9b6e68ae0b78a502fa2faaca5d6