aoc-2023/Day4.lean, branch mainAdvent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day4.lean?h=main2023-12-07T19:26:51ZAllow error messages in parsing (for debugging)2023-12-07T19:26:51ZAndreas Groisandi@grois.info2023-12-07T19:26:51Zurn:sha1:8d6efb1c1fdddc1fbad167510ce25e56be684130
And fix an off-by-one in day 5
Day 42023-12-04T22:24:04ZAndreas Groisandi@grois.info2023-12-04T22:23:05Zurn:sha1:ca7d7317e89b186556d1207ce713f6c0ca9ba783
I'm particularly proud of part 2.