aoc-2023/Common, branch mainAdvent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Common?h=main2024-12-17T19:00:48ZRemove useless simp_wf tactic calls2024-12-17T19:00:48ZAndreas Groisandi@grois.info2024-12-17T19:00:48Zurn:sha1:bb6cbe0fe0c415fee1ece7980b0667055b0ed2dbDay 16 Part 22024-12-16T21:04:31ZAndreas Groisandi@grois.info2024-12-16T21:04:31Zurn:sha1:8f1a6c619a238531aed9dd3f4479d658fcf1d101Begin Day162024-12-13T23:09:46ZAndreas Groisandi@grois.info2024-12-13T23:09:46Zurn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57Day 14, Part 1.2024-11-28T20:53:47ZAndreas Groisandi@grois.info2024-11-28T20:53:47Zurn:sha1:4848d2516919ab7e5652b20e2b33e7cc39a9d4d9Day 13, Part 12024-11-25T16:01:18ZAndreas Groisandi@grois.info2024-11-25T16:01:18Zurn:sha1:de5352e64f36948fc568a1bbb58bf930ec44aa2cDay 12 Part 1.2024-09-24T18:04:26ZAndreas Groisandi@grois.info2024-09-24T18:04:26Zurn:sha1:b1c7ab96169f80f62c8f5025cf2ebd74e9128f71
God, I fell into the premature optimization trap here...
But I'm glad I did, that should make part 2 way easier.
Continue Day122024-09-23T19:31:41ZAndreas Groisandi@grois.info2024-09-23T19:31:41Zurn:sha1:5d08e39abca75b775bb7636973bb9c9a3bb908acContinue a bit with Day 11 Part 12024-09-19T16:01:11ZAndreas Groisandi@grois.info2024-09-19T16:01:11Zurn:sha1:898e58a116a17b8606b05ecfefa68a7880b20eecDay 11 Parsing2024-09-18T22:14:18ZAndreas Groisandi@grois.info2024-09-18T22:14:18Zurn:sha1:2ceb539bf306992e726280c24ce8d7b69e4c8b5eContinue Day11/Parsing2024-09-18T17:42:46ZAndreas Groisandi@grois.info2024-09-18T17:42:46Zurn:sha1:2c1f2362c69ab20b10b61bdbebf8e5121eca38b1