aoc-2023/inputs/day2.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/day2.input?h=main
2023-12-02T12:11:49Z
Day 2
2023-12-02T12:11:49Z
Andreas Grois
andi@grois.info
2023-12-02T12:04:27Z
urn:sha1:b428712b5804e9efd66fff554204db2c1d669e37