aoc-2023, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/?h=main 2024-12-17T19:00:48Z Remove useless simp_wf tactic calls 2024-12-17T19:00:48Z Andreas Grois andi@grois.info 2024-12-17T19:00:48Z urn:sha1:bb6cbe0fe0c415fee1ece7980b0667055b0ed2db Lean 4.14 2024-12-17T18:47:14Z Andreas Grois andi@grois.info 2024-12-17T18:47:14Z urn:sha1:19d4b4e41a967c0c8b3329cd1c4a0617178c5a94 Day 16 Part 2 2024-12-16T21:04:31Z Andreas Grois andi@grois.info 2024-12-16T21:04:31Z urn:sha1:8f1a6c619a238531aed9dd3f4479d658fcf1d101 Day 16, part 1 2024-12-15T20:39:35Z Andreas Grois andi@grois.info 2024-12-15T20:39:35Z urn:sha1:3a125fab0a8e6a92ae55e534d4ea446ad01815e5 Begin Day16 2024-12-13T23:09:46Z Andreas Grois andi@grois.info 2024-12-13T23:09:46Z urn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57 Minor, indentation 2024-12-01T18:58:11Z Andreas Grois andi@grois.info 2024-12-01T18:58:11Z urn:sha1:4784df61d4858f9f470327e46822aabf2f7eff52 Change Day15 Part 2 to not use do-notation. 2024-12-01T18:57:39Z Andreas Grois andi@grois.info 2024-12-01T18:57:39Z urn:sha1:11639a915b229952c267deb03a367ef70bb4a27e Day 15, Part 2 2024-12-01T18:40:33Z Andreas Grois andi@grois.info 2024-12-01T18:40:33Z urn:sha1:0a038cd8f528a9ff92daddaa5bc4b432f4fbdc7c Day15, Part1 2024-12-01T15:12:52Z Andreas Grois andi@grois.info 2024-12-01T15:12:52Z urn:sha1:3e9ab8b679faa68bf41addedae1ec0f963ee466a 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