summaryrefslogtreecommitdiff
path: root/Day5.lean
Commit message (Expand)AuthorAgeFilesLines
* Day5, part 1Andreas Grois2023-12-061-0/+271
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 15:16:28 +0000