aoc-2023/Day5.lean, branch feature/day17Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day5.lean?h=feature/day172025-11-16T20:08:35ZLean 4.252025-11-16T20:08:35ZAndreas Groisandi@grois.info2025-11-16T20:08:35Zurn:sha1:3a9ff92902df508074daa3017d1a71dae7e85248Fix deprecation warnings for Lean 4.132024-11-22T21:10:48ZAndreas Groisandi@grois.info2024-11-22T21:10:48Zurn:sha1:ce7214e07a766bc1e5ab02346e42eb6ca441c509Allow 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
Part 2, finally2023-12-06T21:59:06ZAndreas Groisandi@grois.info2023-12-06T21:59:06Zurn:sha1:9fb83b22220c825943549bc97bdab457bfad7f5bPart of Day5 Part 22023-12-06T20:58:32ZAndreas Groisandi@grois.info2023-12-06T20:58:32Zurn:sha1:d8bd3fef91f805821a15d6aa3c531f33b3805d10Day5, part 12023-12-06T18:20:03ZAndreas Groisandi@grois.info2023-12-06T18:20:03Zurn:sha1:dbee715e231a1aabcf105557e52855a23a964207