| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 66 | logplainblame |
| -rw-r--r-- | Common.lean | 280 | logplainblame |
| d--------- | Common | 514 | logplain |
| -rw-r--r-- | Day1.lean | 2817 | logplainblame |
| -rw-r--r-- | Day10.lean | 80659 | logplainblame |
| -rw-r--r-- | Day11.lean | 6072 | logplainblame |
| -rw-r--r-- | Day12.lean | 7947 | logplainblame |
| -rw-r--r-- | Day13.lean | 8335 | logplainblame |
| -rw-r--r-- | Day14.lean | 14325 | logplainblame |
| -rw-r--r-- | Day15.lean | 6071 | logplainblame |
| -rw-r--r-- | Day16.lean | 20836 | logplainblame |
| -rw-r--r-- | Day17.lean | 13104 | logplainblame |
| -rw-r--r-- | Day2.lean | 3838 | logplainblame |
| -rw-r--r-- | Day3.lean | 4886 | logplainblame |
| -rw-r--r-- | Day4.lean | 2834 | logplainblame |
| -rw-r--r-- | Day5.lean | 14843 | logplainblame |
| -rw-r--r-- | Day6.lean | 3729 | logplainblame |
| -rw-r--r-- | Day7.lean | 6092 | logplainblame |
| -rw-r--r-- | Day8.lean | 17449 | logplainblame |
| -rw-r--r-- | Day9.lean | 2127 | logplainblame |
| -rw-r--r-- | Main.lean | 4565 | logplainblame |
| d--------- | inputs | 654 | logplain |
| -rw-r--r-- | lakefile.lean | 1013 | logplainblame |
| -rw-r--r-- | lean-toolchain | 24 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |