aoc-2023/Day12.lean, branch feature/day17Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day12.lean?h=feature/day172025-10-12T16:44:32ZLean 4.192025-10-12T16:44:32ZAndreas Groisandi@grois.info2025-10-12T16:44:32Zurn:sha1:6aaa70943202efaa1e6b4ff8b6b8b6b94a564040Remove useless simp_wf tactic calls2024-12-17T19:00:48ZAndreas Groisandi@grois.info2024-12-17T19:00:48Zurn:sha1:bb6cbe0fe0c415fee1ece7980b0667055b0ed2dbChange 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:ce7214e07a766bc1e5ab02346e42eb6ca441c509Day 12 Part 22024-09-24T19:11:02ZAndreas Groisandi@grois.info2024-09-24T19:11:02Zurn:sha1:5b854b81590f711cbaa0d825bbbddd366fbfbf6aDay 12 Part 1.2024-09-24T18:04:26ZAndreas Groisandi@grois.info2024-09-24T18:04:26Zurn:sha1:b1c7ab96169f80f62c8f5025cf2ebd74e9128f71
God, I fell into the premature optimization trap here...
But I'm glad I did, that should make part 2 way easier.
Continue Day122024-09-23T19:31:41ZAndreas Groisandi@grois.info2024-09-23T19:31:41Zurn:sha1:5d08e39abca75b775bb7636973bb9c9a3bb908acBegin Day122024-09-23T08:46:14ZAndreas Groisandi@grois.info2024-09-23T08:46:14Zurn:sha1:fda8a5b06d63aaa6b7db2ca7b2a7c0bd321bd16e