aoc-2023/Common/String.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/String.lean?h=main
2023-12-08T14:15:33Z
Day 7
2023-12-08T14:15:33Z
Andreas Grois
andi@grois.info
2023-12-08T14:15:33Z
urn:sha1:5e75e251e5652908e23b4977e98600688ff9fd81
Day 2
2023-12-02T12:11:49Z
Andreas Grois
andi@grois.info
2023-12-02T12:04:27Z
urn:sha1:b428712b5804e9efd66fff554204db2c1d669e37