aoc-2023/Common/Parsing.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/Parsing.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.23
2025-11-16T13:24:46Z
Andreas Grois
andi@grois.info
2025-11-16T13:24:46Z
urn:sha1:6d10b7594f487bdfbef99d05bda34405dd85c8b8
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.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
Move AStar into a separte library and use it for Day17-1
2025-01-05T22:55:54Z
Andreas Grois
andi@grois.info
2025-01-05T22:55:54Z
urn:sha1:4749b3ca572618fa1a7cdb17e2abba9b498279ca
Day 17, part 1 (hopefully)
2024-12-22T22:17:05Z
Andreas Grois
andi@grois.info
2024-12-22T22:17:05Z
urn:sha1:406c23a9f6c6a4c7e03f9aad4131921e589623bc
Continue Day17
2024-12-21T20:37:51Z
Andreas Grois
andi@grois.info
2024-12-21T20:37:51Z
urn:sha1:b37fc3089eb0ca8fc37a82ae6d6071b0accbca19
Remove useless simp_wf tactic calls
2024-12-17T19:00:48Z
Andreas Grois
andi@grois.info
2024-12-17T19:00:48Z
urn:sha1:bb6cbe0fe0c415fee1ece7980b0667055b0ed2db