Repository for my solutions to the Advent of Code 2023 challenge in Lean 4.
Primary LanguageLean
No issues in this repository yet.