| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | day1.input | 22637 | logplainblame |
| -rw-r--r-- | day2.input | 10290 | logplainblame |
| -rw-r--r-- | day3.input | 19740 | logplainblame |
| -rw-r--r-- | day4.input | 23166 | logplainblame |
| -rw-r--r-- | day5.input | 5820 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |