| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BinaryHeap.lean | 20622 | logplainblame |
| -rw-r--r-- | Char.lean | 92 | logplainblame |
| -rw-r--r-- | DayPart.lean | 365 | logplainblame |
| -rw-r--r-- | Euclid.lean | 403 | logplainblame |
| -rw-r--r-- | Helpers.lean | 548 | logplainblame |
| -rw-r--r-- | List.lean | 1753 | logplainblame |
| -rw-r--r-- | Nat.lean | 6242 | logplainblame |
| -rw-r--r-- | Option.lean | 420 | logplainblame |
| -rw-r--r-- | String.lean | 161 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |