aoc-2023/Day8.lean, branch feature/day17Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day8.lean?h=feature/day172025-10-12T16:44:32ZLean 4.192025-10-12T16:44:32ZAndreas Groisandi@grois.info2025-10-12T16:44:32Zurn:sha1:6aaa70943202efaa1e6b4ff8b6b8b6b94a564040Lean 4.182025-10-09T22:30:19ZAndreas Groisandi@grois.info2025-10-09T22:30:19Zurn:sha1:2a9261d1ba962deff9fcc1784be44563af513af5Lean 4.142024-12-17T18:47:14ZAndreas Groisandi@grois.info2024-12-17T18:47:14Zurn:sha1:19d4b4e41a967c0c8b3329cd1c4a0617178c5a94Change all imports from Lean to Std to reduce binary size.2024-11-29T22:08:15ZAndreas Groisandi@grois.info2024-11-29T22:08:15Zurn: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.132024-11-22T21:10:48ZAndreas Groisandi@grois.info2024-11-22T21:10:48Zurn:sha1:ce7214e07a766bc1e5ab02346e42eb6ca441c509Squashed commit of the following:2024-07-12T20:01:57ZAndreas Groisandi@grois.info2024-07-12T20:01:57Zurn: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.
Fix Day 8 Part 2: Forgot to un-comment something.2023-12-09T15:35:55ZAndreas Groisandi@grois.info2023-12-09T15:35:55Zurn:sha1:32b6bf7bbe6124a0a1c69f46dac996806a1409c9
While it doesn't change the result, it was technically wrong.
Day 8 Part 22023-12-09T15:34:30ZAndreas Groisandi@grois.info2023-12-09T15:34:30Zurn:sha1:ecbf7b27be05dc242f066e681dbe22c4274834f5Not working Day8 Part 2.2023-12-08T20:16:00ZAndreas Groisandi@grois.info2023-12-08T20:16:00Zurn:sha1:244078f9f9e722aceafe64e745b9aa50136fb71a
Seems we need to be smarter.
Day 8 Part 12023-12-08T18:51:57ZAndreas Groisandi@grois.info2023-12-08T18:51:57Zurn:sha1:948138f66cdf8f05cb669e58ba8a2d3e08adf9c7