| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BinaryHeap.lean | 46133 | logplainblame |
| -rw-r--r-- | Char.lean | 91 | logplainblame |
| -rw-r--r-- | DayPart.lean | 365 | logplainblame |
| -rw-r--r-- | Euclid.lean | 372 | logplainblame |
| -rw-r--r-- | Helpers.lean | 546 | logplainblame |
| -rw-r--r-- | List.lean | 1736 | logplainblame |
| -rw-r--r-- | Nat.lean | 6695 | 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 |