aoc-2023/Common/NonEmptyList.lean, branch main
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/Common/NonEmptyList.lean?h=main
2024-09-16T15:15:05Z
Day 10, Part 2
2024-09-16T15:15:05Z
Andreas Grois
andi@grois.info
2024-09-16T15:15:05Z
urn:sha1:5be91b845f4cdb5b6df0a31ed525f746a6038a2c
Continue Day10 Part2
2024-09-09T06:54:44Z
Andreas Grois
andi@grois.info
2024-09-09T06:54:44Z
urn:sha1:6718bbdbc6997a7f8acfa0b2622afa04179a7f53