| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 40 | logplainblame |
| -rw-r--r-- | Common.lean | 124 | logplainblame |
| d--------- | Common | 232 | logplain |
| -rw-r--r-- | Day1.lean | 2824 | logplainblame |
| -rw-r--r-- | Day2.lean | 3755 | logplainblame |
| -rw-r--r-- | Day3.lean | 4839 | logplainblame |
| -rw-r--r-- | Day4.lean | 2438 | logplainblame |
| -rw-r--r-- | Day5.lean | 14262 | logplainblame |
| -rw-r--r-- | Main.lean | 2458 | logplainblame |
| d--------- | inputs | 190 | logplain |
| -rw-r--r-- | lakefile.lean | 587 | logplainblame |
| -rw-r--r-- | lean-toolchain | 23 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |