aoc-2023/Common/Function.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/Function.lean?h=feature/day17
2025-11-02T16:52:59Z
Lean 4.21
2025-11-02T16:52:59Z
Andreas Grois
andi@grois.info
2025-11-02T16:52:59Z
urn:sha1:4fbeb023e0b2c58895e8df8d169035e274159537
Day 17, part 1 (hopefully)
2024-12-22T22:17:05Z
Andreas Grois
andi@grois.info
2024-12-22T22:17:05Z
urn:sha1:406c23a9f6c6a4c7e03f9aad4131921e589623bc