aoc-2023/Day3.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day3.lean?h=main 2024-12-17T18:47:14Z Lean 4.14 2024-12-17T18:47:14Z Andreas Grois andi@grois.info 2024-12-17T18:47:14Z urn:sha1:19d4b4e41a967c0c8b3329cd1c4a0617178c5a94 Change all imports from Lean to Std to reduce binary size. 2024-11-29T22:08:15Z Andreas Grois andi@grois.info 2024-11-29T22:08:15Z urn:sha1:611c369de1874950682501d4454cce3e73c4d6cd Reduces binary size by more than a factor of 10... https://github.com/leanprover/lean4/issues/5274 Fix deprecation warnings for Lean 4.13 2024-11-22T21:10:48Z Andreas Grois andi@grois.info 2024-11-22T21:10:48Z urn:sha1:ce7214e07a766bc1e5ab02346e42eb6ca441c509 Day 8 Part 2 2023-12-09T15:34:30Z Andreas Grois andi@grois.info 2023-12-09T15:34:30Z urn:sha1:ecbf7b27be05dc242f066e681dbe22c4274834f5 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 Day 3: Fix swapped adjacents. 2023-12-03T22:20:56Z Andreas Grois andi@grois.info 2023-12-03T22:20:56Z urn:sha1:cc75d1107a2f97eec91a3b81a2a918a669cc8511 Day 3, minor cleanup 2023-12-03T21:44:12Z Andreas Grois andi@grois.info 2023-12-03T21:43:50Z urn:sha1:85e7e293fc47a6aaed53b27c018c2c7256aab3ff Day 3 2023-12-03T20:13:47Z Andreas Grois andi@grois.info 2023-12-03T20:13:47Z urn:sha1:0cdb5a2449c996e54a0c777dd807785d3016fd66