aoc-2023/inputs/day1.input, branch main
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/inputs/day1.input?h=main
2023-12-01T22:30:43Z
Day 1
2023-12-01T22:30:43Z
Andreas Grois
andi@grois.info
2023-12-01T22:21:14Z
urn:sha1:24d7fab85b2eb1b7996fd0ceccdd0377f1ce087b