| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | day1.input | 22637 | logplainblame |
| -rw-r--r-- | day10.input | 19740 | logplainblame |
| -rw-r--r-- | day11.input | 19740 | logplainblame |
| -rw-r--r-- | day12.input | 22961 | logplainblame |
| -rw-r--r-- | day13.input | 17145 | 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 |
| -rw-r--r-- | day6.input | 74 | logplainblame |
| -rw-r--r-- | day7.input | 9893 | logplainblame |
| -rw-r--r-- | day8.input | 12829 | logplainblame |
| -rw-r--r-- | day9.input | 21618 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |