aoc-2023/Day10.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day10.lean?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 Update to Lean 4.13 2024-11-22T21:03:02Z Andreas Grois andi@grois.info 2024-11-22T21:03:02Z urn:sha1:e9f48c21f878f727778e17294217c2094a595e5d Revisit Day10 Part1 to account for multiple solutions 2024-09-16T15:41:57Z Andreas Grois andi@grois.info 2024-09-16T15:41:57Z urn:sha1:1fa06b6006e42536ee85001d46333ccb4851ecd9 Day 10, Part 2 2024-09-16T15:15:05Z Andreas Grois andi@grois.info 2024-09-16T15:15:05Z urn:sha1:5be91b845f4cdb5b6df0a31ed525f746a6038a2c Continue Day 10 Part 2. Solutions. Finally. But not final solutions. 2024-09-12T22:08:47Z Andreas Grois andi@grois.info 2024-09-12T22:08:47Z urn:sha1:17721b8aa7a5b78a80b6d622f90e3c1827bd4676 Continue Day10 Part2 2024-09-12T08:10:07Z Andreas Grois andi@grois.info 2024-09-12T08:10:07Z urn:sha1:ae7d3dfb8a9c1c605cd57c53ddd829a1515ac1b9 Continue Day10 Part 2 2024-09-11T17:02:07Z Andreas Grois andi@grois.info 2024-09-11T17:02:07Z urn:sha1:7a9f5df49ffc84a851cb3a51d3bfb63397a6342f Continue Day10 Part 2. 2024-09-11T12:21:47Z Andreas Grois andi@grois.info 2024-09-11T12:21:47Z urn:sha1:90577504879bf2b0b20333f2adfb0a9916922f5f Continue Day10 Part2 2024-09-11T07:18:45Z Andreas Grois andi@grois.info 2024-09-11T07:18:45Z urn:sha1:b41daf9c1dbd522135f832a6c6c79323baab6a06