aoc-2023/Common/Substring.lean, branch feature/day17
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/Common/Substring.lean?h=feature/day17
2025-11-16T20:08:35Z
Lean 4.25
2025-11-16T20:08:35Z
Andreas Grois
andi@grois.info
2025-11-16T20:08:35Z
urn:sha1:3a9ff92902df508074daa3017d1a71dae7e85248
Lean 4.24
2025-11-16T17:21:09Z
Andreas Grois
andi@grois.info
2025-11-16T17:21:09Z
urn:sha1:75628f029abfd9829a1259a6e1dd7758d548c13f
Lean 4.20.1
2025-10-12T21:44:28Z
Andreas Grois
andi@grois.info
2025-10-12T21:44:28Z
urn:sha1:4379a1b052a7b7843613d5a3217b4bdbe37341fd
Continue Day12
2024-09-23T19:31:41Z
Andreas Grois
andi@grois.info
2024-09-23T19:31:41Z
urn:sha1:5d08e39abca75b775bb7636973bb9c9a3bb908ac