| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BitVec.lean | 498 | logplainblame |
| -rw-r--r-- | Char.lean | 91 | logplainblame |
| -rw-r--r-- | Countable.lean | 297 | logplainblame |
| -rw-r--r-- | DayPart.lean | 365 | logplainblame |
| -rw-r--r-- | Euclid.lean | 372 | logplainblame |
| -rw-r--r-- | Finite.lean | 6050 | logplainblame |
| -rw-r--r-- | HashSet.lean | 245 | logplainblame |
| -rw-r--r-- | Helpers.lean | 546 | logplainblame |
| -rw-r--r-- | List.lean | 4618 | logplainblame |
| -rw-r--r-- | Nat.lean | 1213 | logplainblame |
| -rw-r--r-- | NonEmptyList.lean | 482 | logplainblame |
| -rw-r--r-- | Option.lean | 768 | logplainblame |
| -rw-r--r-- | Parsing.lean | 8248 | logplainblame |
| -rw-r--r-- | String.lean | 161 | logplainblame |
| -rw-r--r-- | Substring.lean | 2185 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |