aoc-2023/Day10.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/Day10.lean?h=feature/day17
2025-11-16T13:24:46Z
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
Remove useless simp_wf tactic calls
2024-12-17T19:00:48Z
Andreas Grois
andi@grois.info
2024-12-17T19:00:48Z
urn:sha1:bb6cbe0fe0c415fee1ece7980b0667055b0ed2db
Lean 4.14
2024-12-17T18:47:14Z
Andreas Grois
andi@grois.info
2024-12-17T18:47:14Z
urn:sha1:19d4b4e41a967c0c8b3329cd1c4a0617178c5a94
Update to Lean 4.13
2024-11-22T21:03:02Z
Andreas Grois
andi@grois.info
2024-11-22T21:03:02Z
urn:sha1:e9f48c21f878f727778e17294217c2094a595e5d