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: b95bbfd6027c7cd6bad6a4694c224c03d33dfdb4 (plain) (blame)

1
2
3

import Common.Helpers
import Common.Option
import Common.DayPart