aoc-2023/inputs, branch mainAdvent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/inputs?h=main2024-12-13T23:09:46ZBegin Day162024-12-13T23:09:46ZAndreas Groisandi@grois.info2024-12-13T23:09:46Zurn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57Day15, Part12024-12-01T15:12:52ZAndreas Groisandi@grois.info2024-12-01T15:12:52Zurn:sha1:3e9ab8b679faa68bf41addedae1ec0f963ee466aDay 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:de5352e64f36948fc568a1bbb58bf930ec44aa2cContinue 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:2ceb539bf306992e726280c24ce8d7b69e4c8b5eFirst draft of input-parsing function for Day 10.2024-09-02T16:10:35ZAndreas Groisandi@grois.info2024-09-02T16:10:35Zurn:sha1:266e00cabe466e30a5f89009ccf530868e97455d
Fail to prove anything for it...
Day 92023-12-09T19:58:59ZAndreas Groisandi@grois.info2023-12-09T19:58:59Zurn:sha1:14b20b12a06abffb37e7ddd7527a0ace64121b4eDay 8 Part 12023-12-08T18:51:57ZAndreas Groisandi@grois.info2023-12-08T18:51:57Zurn:sha1:948138f66cdf8f05cb669e58ba8a2d3e08adf9c7Day 72023-12-08T14:15:33ZAndreas Groisandi@grois.info2023-12-08T14:15:33Zurn:sha1:5e75e251e5652908e23b4977e98600688ff9fd81