aoc-2023/Day2.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day2.lean?h=main 2024-11-22T21:10:48Z 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 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 2023-12-03T20:13:47Z Andreas Grois andi@grois.info 2023-12-03T20:13:47Z urn:sha1:0cdb5a2449c996e54a0c777dd807785d3016fd66 Day 2 2023-12-02T12:11:49Z Andreas Grois andi@grois.info 2023-12-02T12:04:27Z urn:sha1:b428712b5804e9efd66fff554204db2c1d669e37