My Solutions using Lean 4 for the 2021 edition of the Advent of Code
Primary LanguageLean
No issues in this repository yet.