aoc-2023/lakefile.lean, branch main
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/lakefile.lean?h=main
2024-12-17T18:47:14Z
Lean 4.14
2024-12-17T18:47:14Z
Andreas Grois
andi@grois.info
2024-12-17T18:47:14Z
urn:sha1:19d4b4e41a967c0c8b3329cd1c4a0617178c5a94
Begin Day16
2024-12-13T23:09:46Z
Andreas Grois
andi@grois.info
2024-12-13T23:09:46Z
urn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57
Day15, Part1
2024-12-01T15:12:52Z
Andreas Grois
andi@grois.info
2024-12-01T15:12:52Z
urn:sha1:3e9ab8b679faa68bf41addedae1ec0f963ee466a
Day 14, Part 1.
2024-11-28T20:53:47Z
Andreas Grois
andi@grois.info
2024-11-28T20:53:47Z
urn:sha1:4848d2516919ab7e5652b20e2b33e7cc39a9d4d9
Day 13, Part 1
2024-11-25T16:01:18Z
Andreas Grois
andi@grois.info
2024-11-25T16:01:18Z
urn:sha1:de5352e64f36948fc568a1bbb58bf930ec44aa2c
Update to Lean 4.13
2024-11-22T21:03:02Z
Andreas Grois
andi@grois.info
2024-11-22T21:03:02Z
urn:sha1:e9f48c21f878f727778e17294217c2094a595e5d
Begin Day12
2024-09-23T08:46:14Z
Andreas Grois
andi@grois.info
2024-09-23T08:46:14Z
urn:sha1:fda8a5b06d63aaa6b7db2ca7b2a7c0bd321bd16e
Begin Day 11.
2024-09-18T08:00:04Z
Andreas Grois
andi@grois.info
2024-09-18T08:00:04Z
urn:sha1:6554499717d70d5656a3b38a20dc60850674a873
Day 10, Part 2
2024-09-16T15:15:05Z
Andreas Grois
andi@grois.info
2024-09-16T15:15:05Z
urn:sha1:5be91b845f4cdb5b6df0a31ed525f746a6038a2c
Parser for Day10, maybe done.
2024-09-05T21:40:30Z
Andreas Grois
andi@grois.info
2024-09-05T21:40:30Z
urn:sha1:dc84ce14889c19f211cd6cd2cc40400328aed934