Common.lean - aoc-2023 - Advent of Code 2023 - I'm still learning Lean4, so please don't judge.

summary refs log tree commit diff

path: root/Common.lean

blob: 32b40ec17aaf6e6d59efc6fbea9c6373e01e5589 (plain) (blame)

import Common.Helpers
import Common.Option
import Common.DayPart
import Common.String
import Common.List
import Common.Char
import Common.Euclid
import Common.BTreeHeap