aoc-2023/Day6.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day6.lean?h=main 2023-12-08T14:15:33Z Day 7 2023-12-08T14:15:33Z Andreas Grois andi@grois.info 2023-12-08T14:15:33Z urn:sha1:5e75e251e5652908e23b4977e98600688ff9fd81 Day 6 2023-12-07T20:53:19Z Andreas Grois andi@grois.info 2023-12-07T20:53:19Z urn:sha1:e6f4111aa97f34383369577bff011d546d26d000 Allow error messages in parsing (for debugging) 2023-12-07T19:26:51Z Andreas Grois andi@grois.info 2023-12-07T19:26:51Z urn:sha1:8d6efb1c1fdddc1fbad167510ce25e56be684130 And fix an off-by-one in day 5