aoc-2023, branch feature/day17
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/?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.23
2025-11-16T13:24:46Z
Andreas Grois
andi@grois.info
2025-11-16T13:24:46Z
urn:sha1:6d10b7594f487bdfbef99d05bda34405dd85c8b8
Lean 4.21
2025-11-02T16:52:59Z
Andreas Grois
andi@grois.info
2025-11-02T16:52:59Z
urn:sha1:4fbeb023e0b2c58895e8df8d169035e274159537
Lean 4.20.1
2025-10-12T21:44:28Z
Andreas Grois
andi@grois.info
2025-10-12T21:44:28Z
urn:sha1:4379a1b052a7b7843613d5a3217b4bdbe37341fd
Lean 4.19
2025-10-12T16:44:32Z
Andreas Grois
andi@grois.info
2025-10-12T16:44:32Z
urn:sha1:6aaa70943202efaa1e6b4ff8b6b8b6b94a564040
Lean 4.18
2025-10-09T22:30:19Z
Andreas Grois
andi@grois.info
2025-10-09T22:30:19Z
urn:sha1:2a9261d1ba962deff9fcc1784be44563af513af5
Lean 4.17
2025-04-13T18:43:15Z
Andreas Grois
andi@grois.info
2025-04-13T18:43:15Z
urn:sha1:671ccf18e506398fd8eb65ebac92ec6d2fd03ccd
Lean 4.16
2025-04-13T11:22:53Z
Andreas Grois
andi@grois.info
2025-04-13T11:22:53Z
urn:sha1:8dbe99432db14b5f73585b9e34ecff6e61e76ca8
Lean 4.15
2025-01-07T22:32:53Z
Andreas Grois
andi@grois.info
2025-01-07T22:32:53Z
urn:sha1:2390fe0a2fbbdd283d21049a1e997026d7d1948c