badly-drawn-wizards/advent-of-code-2023

An attempt at doing advent of code 2023 in Lean4

LeanMIT