Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day9.lean?h=feature/day17 2025-11-16T20:08:35Z 2025-11-16T20:08:35Z Andreas Grois andi@grois.info 2025-11-16T20:08:35Z urn:sha1:3a9ff92902df508074daa3017d1a71dae7e85248 2025-11-16T13:24:46Z Andreas Grois andi@grois.info 2025-11-16T13:24:46Z urn:sha1:6d10b7594f487bdfbef99d05bda34405dd85c8b8 2025-10-09T22:30:19Z Andreas Grois andi@grois.info 2025-10-09T22:30:19Z urn:sha1:2a9261d1ba962deff9fcc1784be44563af513af5 2024-07-12T20:01:57Z Andreas Grois andi@grois.info 2024-07-12T20:01:57Z urn:sha1:f7ac27f54a76582354964bae21ee03937c108187 commit 7aeefe2e761a4892ff2f438e00f3ec7e6d286c5c Author: Andreas Grois <andi@grois.info> Date: Fri Jul 12 21:59:44 2024 +0200 Finish Lean 4.9 update. commit 8a5576ae983203035f6bf0c807b36f1b4d7b63a6 Author: Andreas Grois <andi@grois.info> Date: Fri Jul 12 21:40:21 2024 +0200 Lean 4.9 upgrade, heap is where it was before... commit db34881e21391c96a6a0b939552b0f6f77d05bd8 Author: Andreas Grois <andi@grois.info> Date: Fri Jul 12 00:31:22 2024 +0200 Further Lean 4.9 compat... commit 22444613d58c5bd1a3fcdad0cd6c8d3aee1f3214 Author: Andreas Grois <andi@grois.info> Date: Thu Jul 11 22:15:11 2024 +0200 Further Lean 4.9 porting commit a4ace32cbb02959f9625578b511c2486e0816367 Author: Andreas Grois <andi@grois.info> Date: Wed Jul 10 23:18:29 2024 +0200 Continue porting to Lean 4.9 commit d0f411bcc42b5cb7c72c2ed65ae35875c72e95dd Author: Andreas Grois <andi@grois.info> Date: Wed Jul 10 23:10:34 2024 +0200 Continue port to Lean 4.9 commit 835ce644b97840048de0df40676ff6f3a8b99985 Author: Andreas Grois <andi@grois.info> Date: Wed Jul 10 22:14:59 2024 +0200 Partial port to Lean 4.9. Not compiling yet. 2023-12-09T20:21:09Z Andreas Grois andi@grois.info 2023-12-09T20:21:09Z urn:sha1:1ebf51d73981f521c70e5e30fd1bf19977cfb306 2023-12-09T19:58:59Z Andreas Grois andi@grois.info 2023-12-09T19:58:59Z urn:sha1:14b20b12a06abffb37e7ddd7527a0ace64121b4e