Advent.lean

import Advent.Day1
import Advent.Day2
import Advent.Day3
import Advent.Day4
import Advent.Day5
import Advent.Day6
import Advent.Day7
import Advent.Day8
import Advent.Day9
import Advent.Day10